diff options
Diffstat (limited to 'tools/get_descriptions.py')
| -rwxr-xr-x | tools/get_descriptions.py | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/tools/get_descriptions.py b/tools/get_descriptions.py index 2f29879..0a39a19 100755 --- a/tools/get_descriptions.py +++ b/tools/get_descriptions.py @@ -49,7 +49,5 @@ for name in args.filenames: # skip comments elif re.match(r"\w*\/\/", text): continue - elif re.match(r"include::", text): - continue else: print(text) |