This repository has been archived on 2024-10-24. You can view files and clone it, but cannot push or open issues or pull requests.

Gregor Kleen 38a4e6cdb7 chore: merge master		2019-11-25 10:25:52 +01:00
..
de.msg	Split deleteR for use with correctionsR	2018-12-20 12:12:38 +01:00
en.msg	chore: merge master	2019-11-25 10:25:52 +01:00