Irrelevant part of #12882 amending 9e8901f997.

Patch from Udi.
This commit is contained in:
Pavel Sanda 2023-09-04 22:05:21 +02:00
parent 625c61f1d5
commit e361282f5e

View File

@ -13,7 +13,7 @@
# XindyName <xindyname>
# ActiveChars <activated characters>
# QuoteStyle <british|danish|english|french|frenchin|
# german|polish|russian|swedish|swedishg|swiss|plain>
# german|polish|russian|swedish|swedishg|swiss|hebrew|plain>
# DateFormats "<long>|<medium>|<short>"
# Encoding <encoding>
# FontEncoding <font encoding|font encoding|...>