Go to file
2018-02-06 14:14:34 +00:00
debian debian/patches: Add 0001_hidpi: Add HiDPI support. 2018-02-06 14:14:34 +00:00