diff options
Diffstat (limited to 'Build/source/texk/web2c/mfluadir/mflua-m.ch')
-rw-r--r-- | Build/source/texk/web2c/mfluadir/mflua-m.ch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/mfluadir/mflua-m.ch b/Build/source/texk/web2c/mfluadir/mflua-m.ch new file mode 100644 index 00000000000..c915d72e12b --- /dev/null +++ b/Build/source/texk/web2c/mfluadir/mflua-m.ch @@ -0,0 +1,12 @@ +@x [1.11] +@!max_strings=7500; {maximum number of strings; must not exceed |max_halfword|} +@y +@!max_strings=75000; {maximum number of strings; must not exceed |max_halfword|} +@z + +@x [1.11] +@!pool_size=100000; {maximum number of characters in strings, including all +@y +@!pool_size=1000000; {maximum number of characters in strings, including all +@z + |