voidplus ac0930a836 merged master and resolved conflicts

2014-11-15 08:33:11 +01:00

..

fonts

better option for setting code font

2013-10-13 17:46:14 -04:00

languages

merged master and resolved conflicts

2014-11-15 08:33:11 +01:00

defaults.txt

turn off completion by default, and rename the pref

2014-09-12 16:25:21 -04:00

theme.txt

additional font tweaks (#2135)

2013-10-25 10:04:44 -04:00