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	…