diff options
Diffstat (limited to 'util/lint/check-style')
| -rwxr-xr-x | util/lint/check-style | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/util/lint/check-style b/util/lint/check-style index 06b950bcea..91ed1979d1 100755 --- a/util/lint/check-style +++ b/util/lint/check-style @@ -5,7 +5,6 @@ # - create a patch of the proposed style changes # # modifications for clang-format by rene.milk@wwu.de -# at github. # Link: https://github.com/githubbrowser/Pre-commit-hooks # Contact: David Martin, david.martin.mailbox@googlemail.com |