jgmdev ca46d8e261 style: move default colors to its own style file		2022-06-02 19:20:54 -04:00
..
default.lua	style: move default colors to its own style file	2022-06-02 19:20:54 -04:00
fall.lua	…
summer.lua	…
textadept.lua	Add textadept theme and correct language_lua just a bit	2021-08-11 23:33:00 +02:00