Jakob Borg 594918dd3c Line height on headers to avoid cut off descenders

2015-08-27 21:28:07 +02:00

..

css

Line height on headers to avoid cut off descenders

2015-08-27 21:28:07 +02:00

font

GUI Rework: reorganized folders and split app.js

2014-11-26 13:43:38 +01:00

img

Add .gitattributes; normalize line endings

2015-04-25 23:16:46 +09:00

lang

Pause and resume devices (ref #215)

2015-08-23 22:00:21 +02:00