diff options
Diffstat (limited to 'tools/get_descriptions.py')
| -rwxr-xr-x | tools/get_descriptions.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/get_descriptions.py b/tools/get_descriptions.py index 3f2ee05..beded87 100755 --- a/tools/get_descriptions.py +++ b/tools/get_descriptions.py @@ -49,5 +49,8 @@ for name in args.filenames: # not useful there if re.match(r'[\[\*]', text): in_description = False + # skip comments + elif re.match(r'\w*\/\/', text): + continue else: print(text) |