jgmdev 23bd21a191 language_md: remove extra empty line		2022-03-30 09:30:55 -04:00
..
colors	Add textadept theme and correct language_lua just a bit	2021-08-11 23:33:00 +02:00
core	syntax: remove pattern re-ordering on optimization	2022-03-29 22:11:14 -04:00
fonts	Use FiraSans regular for UI	2021-05-27 13:49:33 +02:00
plugins	language_md: remove extra empty line	2022-03-30 09:30:55 -04:00