Günter Milde 27ba6f282d Rename legacy input encoding settings.
Format incremented to 573
2019-04-16 20:17:32 +02:00
..
2018-03-17 13:20:48 +01:00
2019-03-31 17:52:31 +02:00
2019-03-31 17:52:31 +02:00
2019-03-31 17:52:31 +02:00
2019-03-29 16:08:17 +01:00
2017-06-17 19:35:10 +02:00
2015-11-27 20:30:41 +01:00