diff options
| -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 10ce49f91d36..6a3b3fb0de55 100755 --- a/bin/find-german-comments +++ b/bin/find-german-comments @@ -338,7 +338,7 @@ class Parser: "svgio" : 1, "svl" : 1, "svtools" : 1, - "svx" : 0, # + "svx" : 1, "sw" : 0, # "test" : 1, "testtools" : 1, |