summaryrefslogtreecommitdiff
path: root/CONTRIBUTING.md
diff options
context:
space:
mode:
authorStephan Seitz <stephan.seitz@fau.de>2020-05-17 17:07:27 +0200
committerStephan Seitz <stephan.seitz@fau.de>2020-05-17 21:56:44 +0200
commitf6bf56974ea3ee4a2640c9ddd1b42c20a53188cc (patch)
treedcd629aa8de6bf684c9806ddb40c98b676d1b886 /CONTRIBUTING.md
parent57424533a77cd80accc128457ea59a7241ce0197 (diff)
Introduce `@include`
Diffstat (limited to 'CONTRIBUTING.md')
-rw-r--r--CONTRIBUTING.md1
1 files changed, 1 insertions, 0 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 5335d04e..ea31f573 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -79,6 +79,7 @@ are optional and will not have any effect for now.
`@operator`
`@keyword`
`@exception`
+`@include` keywords for including modules (e.g. import/from in Python)
`@type`
`builtin`