Jefferson González 0e79607895 Merge pull request #859 from jgmdev/commit-on-version ... Add git commit on version of devel builds		2022-03-04 14:18:36 -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 #859 from jgmdev/commit-on-version	2022-03-04 14:18:36 -04:00
fonts	Use FiraSans regular for UI	2021-05-27 13:49:33 +02:00
plugins	Plugin projectsearch: set command view text to current document selection.	2022-02-13 01:31:58 -04:00