Thomas Hochstein 3269562e10 Change mail address. ... Signed-off-by: Thomas Hochstein <thh@thh.name>		2020-08-23 22:28:20 +02:00
..
abbreviations.rb	Initial checkin.	2014-04-17 17:02:41 +02:00
dejure.rb	Change mail address.	2020-08-23 22:28:20 +02:00