Jean-Christian Paul Denis 008d347893 add colored synthax (from user pref for themes)		2021-11-06 15:37:56 +01:00
..
admin.js	add colored synthax (from user pref for themes)	2021-11-06 15:37:56 +01:00
cms.js	add colored synthax (from user pref for themes)	2021-11-06 15:37:56 +01:00