Vojtech Bubnik 7837070d29 Follow-up to c6de3e84eb42969c78f4fdb64f7e413d43674f6b
Fixed typos in option labels.
2021-12-03 09:40:00 +01:00
..
2021-10-26 10:03:41 +02:00
2021-10-20 15:08:43 +02:00