Günter Milde 27ba6f282d Rename legacy input encoding settings.
Format incremented to 573
2019-04-16 20:17:32 +02:00
..
2017-10-16 10:03:05 +02:00
2018-01-31 21:13:43 +01:00
2019-03-10 13:00:10 +01:00
2019-03-10 13:00:10 +01:00
2019-03-10 13:00:10 +01:00
2019-03-10 13:40:29 +01:00
2018-02-23 08:58:16 +01:00
2019-01-18 00:20:19 +01:00
2018-01-31 21:13:43 +01:00