mirabilos 65cd276439 remove RCS IDs from (almost) all files ... they do not make any sense, nor do they get updated, if the source code is kept in git		2018-11-02 23:53:21 +01:00
..
plugins	build fixes for plugin manual	2012-08-08 11:16:55 +02:00
CMakeLists.txt	remove RCS IDs from (almost) all files	2018-11-02 23:53:21 +01:00
downloadManual	use html and helpBrowser for online/offline help	2012-07-12 18:46:15 +02:00
reference-en.pdf	attach new local help system	2013-10-16 18:09:26 +02:00