Commit c3aa298a authored by Florian Fischer's avatar Florian Fischer
Browse files

add waitfd name substitution

parent 420c8e19
Pipeline #82992 passed with stage
in 1 minute and 29 seconds
......@@ -2,6 +2,7 @@ import re
PATTERNS = {}
PATTERNS['emper'] = (re.compile('^emper'), '\\\\emper{}')
PATTERNS['waitfd'] = (re.compile('^waitfd'), '\\\\waitfd{}')
PATTERNS['go'] = (re.compile('^go'), 'Go')
PATTERNS['tokio'] = (re.compile('^tokio'), 'Tokio')
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment