diff options
Diffstat (limited to 'bin/find-german-comments')
| -rwxr-xr-x | bin/find-german-comments | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/bin/find-german-comments b/bin/find-german-comments index fe93a7bc8d25..c160193fc9d5 100755 --- a/bin/find-german-comments +++ b/bin/find-german-comments @@ -345,7 +345,6 @@ class Parser: "toolkit" : 1, "tools" : 1, "touch" : 1, - "tubes" : 1, "ucb" : 1, "ucbhelper" : 1, "unodevtools" : 1, |