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
..
notes	remove RCS IDs from (almost) all files	2018-11-02 23:53:21 +01:00
CMakeLists.txt	remove RCS IDs from (almost) all files	2018-11-02 23:53:21 +01:00