diff options
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/find-german-comments | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/find-german-comments b/bin/find-german-comments index 3834d631e9f1..49106119f3b7 100755 --- a/bin/find-german-comments +++ b/bin/find-german-comments @@ -310,7 +310,7 @@ class Parser: "smoketest" : 1, "solenv" : 1, "soltools" : 1, - "starmath" : 0, # - 1 line ! + "starmath" : 1, "stoc" : 0, # "store" : 1, "svgio" : 1, |