jgmdev 214f36157a plugins: only check mod version

2022-05-31 16:29:14 -04:00

..

colors

Add textadept theme and correct language_lua just a bit

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

core

plugins: only check mod version

2022-05-31 16:29:14 -04:00

fonts

Use FiraSans regular for UI

2021-05-27 13:49:33 +02:00

plugins

Don't check unnamed files in autoreload plugin

2022-05-31 01:03:59 +02:00