Irrelevant part of #12882 amending 9e8901f997f0b27.

Patch from Udi.

diff --git a/lib/languages b/lib/languages
index 760a1ff64086cbd3306c9829d63957601534d798..315707742b49b8750faa4a7e269497cd369f052a 100644 (file)
--- a/lib/languages
+++ b/lib/languages
@@ -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|...>