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
2011-04-02 11:00:19 +00:00
2011-02-21 19:56:43 +00:00
2012-11-06 09:18:38 +01:00