diff options
Diffstat (limited to 'scripts/asciidoc2html.py')
| -rwxr-xr-x | scripts/asciidoc2html.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/asciidoc2html.py b/scripts/asciidoc2html.py index 560faa0cd..6f3b170af 100755 --- a/scripts/asciidoc2html.py +++ b/scripts/asciidoc2html.py @@ -20,7 +20,7 @@ """Generate the html documentation based on the asciidoc files.""" -from typing import List, Optional +from typing import Optional import re import os import sys |