diff options
-rw-r--r-- | Master/tlpkg/tlpsrc/dehyph-exptl.tlpsrc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/tlpsrc/dehyph-exptl.tlpsrc b/Master/tlpkg/tlpsrc/dehyph-exptl.tlpsrc index 73dd32d15cb..360fdf200e1 100644 --- a/Master/tlpkg/tlpsrc/dehyph-exptl.tlpsrc +++ b/Master/tlpkg/tlpsrc/dehyph-exptl.tlpsrc @@ -1,7 +1,7 @@ depend hyphen-base depend hyph-utf8 execute AddHyphen \ - name=german-x-2013-05-26 synonyms=german-x-latest \ + name=german-x-2014-05-21 synonyms=german-x-latest \ lefthyphenmin=2 righthyphenmin=2 \ file=dehypht-x-2014-05-21.tex \ file_patterns=hyph-de-1901.pat.txt file_exceptions=hyph-de-1901.hyp.txt |