diff options
Diffstat (limited to 'tools/make-directive-index.py')
| -rwxr-xr-x | tools/make-directive-index.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/make-directive-index.py b/tools/make-directive-index.py index 1b287997fa..f9203ddd1a 100755 --- a/tools/make-directive-index.py +++ b/tools/make-directive-index.py @@ -21,7 +21,7 @@ import sys import collections import re -from xml_helper import * +from xml_helper import xml_parse, xml_print, tree from copy import deepcopy TEMPLATE = '''\ |