diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2025-05-17 17:59:33 +0200 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2025-05-17 17:59:33 +0200 |
| commit | f679b346089aa8a1f3c9956489b848bb10710ac9 (patch) | |
| tree | 59c502c79f4ef691e20c2fd0d016155f7e58f1b4 | |
| parent | 9c6bb80a25f93f9f963a1eeb2b168ec24b9de66f (diff) | |
fix double-escape
| -rwxr-xr-x | def_LinkDefinition.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/def_LinkDefinition.py b/def_LinkDefinition.py index b2b5b15..c78c493 100755 --- a/def_LinkDefinition.py +++ b/def_LinkDefinition.py @@ -11,7 +11,7 @@ Diagram( Stack( Sequence( "[", - NonTerminal("![\[\]] PlainWords"), + NonTerminal("![\\[\\]] PlainWords"), "]", NonTerminal("SPACE"), NonTerminal("Uri"), |