diff options
| author | root <root@dc13.lemmi> | 2020-07-21 10:00:46 +0200 |
|---|---|---|
| committer | root <root@dc13.lemmi> | 2020-07-21 10:00:46 +0200 |
| commit | 1192c4575ea7afdf38e3fa0df4587a08620af11e (patch) | |
| tree | 6910a62487c282d0840d2e668aa7eb40b7c8a3fd /project/text-files/lex.inc/lex-head-cr.inc | |
| parent | 76de8a89f7c1d1b4522eb66e8f89d248e8c1781f (diff) | |
SZS v2.18a
Diffstat (limited to 'project/text-files/lex.inc/lex-head-cr.inc')
| -rwxr-xr-x | project/text-files/lex.inc/lex-head-cr.inc | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/project/text-files/lex.inc/lex-head-cr.inc b/project/text-files/lex.inc/lex-head-cr.inc new file mode 100755 index 0000000..5c94c39 --- /dev/null +++ b/project/text-files/lex.inc/lex-head-cr.inc @@ -0,0 +1,12 @@ +#LEX <<< The first 4 characters '#LEX' are the magic for a LEX text file. +# <<< Don't remove them! +# +############################################################################### +# +# This is a textual representation of a LEX file. It is defined by Wiimm. +# +# Hint: +# Set one of the options --no-header (-H) or --brief (-B) while decoding +# to suppress this general description. The --brief option will also disable +# info parts in the different sections. +# |
