diff options
Diffstat (limited to 'scripts/context/lua/mtx-chars.lua')
-rw-r--r-- | scripts/context/lua/mtx-chars.lua | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/context/lua/mtx-chars.lua b/scripts/context/lua/mtx-chars.lua index 6acacfbd2..ea4a6061f 100644 --- a/scripts/context/lua/mtx-chars.lua +++ b/scripts/context/lua/mtx-chars.lua @@ -143,6 +143,11 @@ local banner_utf_patch = [[ \setXTXcharcodes "201C "201C "201C \setXTXcharcodes "201D "201D "201D + +% patch needed for french + +\setXTXcharcodes "2019 "2019 "2019 + ]] local banner_utf_names = [[ |