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/kmp.inc/kmp-ph-cr.inc | |
| parent | 76de8a89f7c1d1b4522eb66e8f89d248e8c1781f (diff) | |
SZS v2.18a
Diffstat (limited to 'project/text-files/kmp.inc/kmp-ph-cr.inc')
| -rw-r--r-- | project/text-files/kmp.inc/kmp-ph-cr.inc | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/project/text-files/kmp.inc/kmp-ph-cr.inc b/project/text-files/kmp.inc/kmp-ph-cr.inc new file mode 100644 index 0000000..c9dbeb3 --- /dev/null +++ b/project/text-files/kmp.inc/kmp-ph-cr.inc @@ -0,0 +1,15 @@ + +####################################################################### +## This complete section is only informative and ignored on reading, ## +## because it will be created while scanning the [%s] section. ## +####################################################################### + +# values never used: + # @REVISION = %u + # @%s-HEAD-VALUE = %#x + +#%s# +#-----------------------------------------------------------------------------#------- +# ___range___ _________prev__________ _________next__________ # group +#idx beg end len #1 #2 #3 #4 #5 #6 #1 #2 #3 #4 #5 #6 unknown # name +#-----------------------------------------------------------------------------#------- |