Jan Philipp Timme e462181a83 Fix texmaker config for real		2018-06-06 09:09:46 +02:00
..
texmaker.ini	Add texmaker color schemes	2018-06-03 09:45:13 +02:00
texmaker.ini.darksolaris	Fix texmaker config for real	2018-06-06 09:09:46 +02:00
texmaker.ini.original	Add texmaker color schemes	2018-06-03 09:45:13 +02:00