diff options
| author | Wiimm <wiimm@wiimm.de> | 2022-05-22 12:48:24 +0200 |
|---|---|---|
| committer | Wiimm <wiimm@wiimm.de> | 2022-05-22 12:48:24 +0200 |
| commit | ebf7d227e793f0095f910493835c0ece71e3f620 (patch) | |
| tree | 373b560a00eeec383b93e7b70a738b0c4e2fe23e /project/text-files/kmp.inc/kmp-gobj-cr.inc | |
| parent | 59090f08e8ff7c9db4912ab1dbae391eb5a2c887 (diff) | |
SZS v27b
Diffstat (limited to 'project/text-files/kmp.inc/kmp-gobj-cr.inc')
| -rw-r--r-- | project/text-files/kmp.inc/kmp-gobj-cr.inc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/project/text-files/kmp.inc/kmp-gobj-cr.inc b/project/text-files/kmp.inc/kmp-gobj-cr.inc index a70d536..dbe60c3 100644 --- a/project/text-files/kmp.inc/kmp-gobj-cr.inc +++ b/project/text-files/kmp.inc/kmp-gobj-cr.inc @@ -27,7 +27,7 @@ # Definition objects and references # There is a new kind of presence flags in progress: -# http://wiki.tockdom.com/wiki/Extension_of_Presence_Flags +# https://wiki.tockdom.com/wiki/Extension_of_Presence_Flags # Since v2.11a, the KMP compiler supports this new extension. # Here you find some global settings for the new extension: |