Jefferson González 1f468fca24 Merge pull request #883 from jgmdev/detectindent-improvements ... plugin detectident: fixes and improvements		2022-03-17 18:29:46 -04:00
..
colors	Add textadept theme and correct language_lua just a bit	2021-08-11 23:33:00 +02:00
core	Merge pull request #879 from jgmdev/plugins-skip-version	2022-03-11 17:30:36 -04:00
fonts	Use FiraSans regular for UI	2021-05-27 13:49:33 +02:00
plugins	Merge pull request #883 from jgmdev/detectindent-improvements	2022-03-17 18:29:46 -04:00