2 commits

Author	SHA1	Message	Date
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
lasconic	46c91573de	fix #116881: dynamic translation	2016-07-01 15:28:35 +02:00