diff options
| author | Wiimm <wiimm@wiimm.de> | 2023-07-11 16:18:26 +0200 |
|---|---|---|
| committer | Wiimm <wiimm@wiimm.de> | 2023-07-11 16:18:26 +0200 |
| commit | b5b1fe7fc0cf460d6204c18ba7bb4c40f7597efa (patch) | |
| tree | a7b4bb1e79fde818dd7af17fee1207ae40178ab7 /project/text-files/kmp.inc/kmp-pt-info-cr.inc | |
| parent | 74ac39c1af5c8e85bf10711aed2ffc9dfee2e277 (diff) | |
SZS v2.35a
Diffstat (limited to 'project/text-files/kmp.inc/kmp-pt-info-cr.inc')
| -rw-r--r-- | project/text-files/kmp.inc/kmp-pt-info-cr.inc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/project/text-files/kmp.inc/kmp-pt-info-cr.inc b/project/text-files/kmp.inc/kmp-pt-info-cr.inc index f11d5a8..a90e5dc 100644 --- a/project/text-files/kmp.inc/kmp-pt-info-cr.inc +++ b/project/text-files/kmp.inc/kmp-pt-info-cr.inc @@ -31,6 +31,6 @@ # If you enable EXPORT-FLAGS (set it to 1), the flags are exported using the # lowest byte of WIDTH FACTOR. The factor needs only 2 or 3 digits, so this # has no disadvantage on the width factors. 5 of the 8 bits are used to verify -# changes by other tools on import. If at least 1 of these bit of all points +# changes by other tools on import. If at least 1 of these bit of any point # is wrong, import is canceled. @EXPORT-FLAGS = %d # 0=disabled, 1=enabled (overridden by option --export-flags) |