jgmdev 5d95d604a9 Merge branch 'master' into dev		2021-06-12 23:11:35 -04:00
..
colors	Implement user's config as init file and add directory into package.path	2020-12-02 16:03:31 +01:00
core	Merge branch 'master' into dev	2021-06-12 23:11:35 -04:00
fonts	Use FiraSans regular for UI	2021-05-27 13:49:33 +02:00
plugins	Merge branch 'master' into dev	2021-06-08 18:13:50 -04:00