clean gitignore

2026-05-19 09:23:31 +02:00
parent 590f2cd68e
commit 69f6e76bfe
4 changed files with 603 additions and 23 deletions
@@ -0,0 +1,11 @@
+EDSS-kv ::= "\"EDSS\"" space ":" space number
+Reason ::= "\"" char{0,400} "\"" space
+Reason-kv ::= "\"Reason\"" space ":" space Reason
+boolean ::= ("true" | "false") space
+char ::= [^"\\\x7F\x00-\x1F] | [\\] (["\\bfnrt] | "u" [0-9a-fA-F]{4})
+decimal-part ::= [0-9]{1,16}
+integral-part ::= [0] | [1-9] [0-9]{0,15}
+nicht-klassifizierbar-kv ::= "\"nicht_klassifizierbar\"" space ":" space boolean
+number ::= ("-"? integral-part) ("." decimal-part)? ([eE] [-+]? integral-part)? space
+root ::= "{" space Reason-kv "," space nicht-klassifizierbar-kv ( "," space ( EDSS-kv ) )? "}" space
+space ::= | " " | "\n"{1,2} [ \t]{0,20}