Jan Philipp Timme 6ff18621ba For some reason my texmaker config changes		2018-09-19 11:02:08 +02:00
..
texmaker.ini	For some reason my texmaker config changes	2018-09-19 11:02:08 +02:00
texmaker.ini.darksolaris	For some reason my texmaker config changes	2018-09-19 11:02:08 +02:00
texmaker.ini.original	For some reason my texmaker config changes	2018-09-19 11:02:08 +02:00