Uwe Stöhr 06eb4594d7 configure.py: add 5 popular editors with LaTeX syntax highlighting
I also need this for branch for the Windows installer, OK?
2012-11-13 00:41:29 +01:00
..
2012-11-08 01:22:07 +01:00
2012-09-29 17:33:46 +02:00
2012-11-06 09:18:38 +01:00