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

Implement user's config as init file and add directory into package.path

2020-12-02 16:03:31 +01:00

summer.lua

Implement user's config as init file and add directory into package.path

2020-12-02 16:03:31 +01:00

textadept.lua

Add textadept theme and correct language_lua just a bit

2021-08-11 23:33:00 +02:00