rxi 7517d0ef55 Changed EXEDIR to be used as default project dir		2020-06-13 08:56:13 +01:00
..
core	Changed EXEDIR to be used as default project dir	2020-06-13 08:56:13 +01:00
fonts	Changed mapping of collapsed/expanded icons on icon font	2020-03-25 23:36:56 +00:00
plugins	Added file-header pattern support to `syntax`	2020-06-08 16:11:22 +01:00
user	Changed summer color theme's caret color	2020-05-29 17:19:27 +01:00