diff options
| author | Wiimm <wiimm@wiimm.de> | 2022-07-09 11:48:24 +0200 |
|---|---|---|
| committer | Wiimm <wiimm@wiimm.de> | 2022-07-09 11:48:24 +0200 |
| commit | 06ff18cd020779c226f7c25d22016e06b898f303 (patch) | |
| tree | b5c12ca4c6b9b0c86e63d2b6a965b8bd74dd0d86 /project/text-files/ledis.inc/ledis-ledef-header-cr.inc | |
| parent | f30e94a61fdc9fb13fd1fbd8b75502fedf5a2f71 (diff) | |
SZS v2.28a.beta
Diffstat (limited to '')
| -rw-r--r-- | project/text-files/ledis.inc/ledis-ledef-header-cr.inc | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/project/text-files/ledis.inc/ledis-ledef-header-cr.inc b/project/text-files/ledis.inc/ledis-ledef-header-cr.inc new file mode 100644 index 0000000..fd01d60 --- /dev/null +++ b/project/text-files/ledis.inc/ledis-ledef-header-cr.inc @@ -0,0 +1,11 @@ +%s + +#------------------------------------------------------------------------------ +# +# This file was created either by command »wlect distrib ... LE-DEF=...« or by +# command »wlect create LE-DEF«. +# +# This file can only be read by the tools since version 2.28a. +# +#------------------------------------------------------------------------------ + |