diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/maint/pre-push.git-hook (renamed from scripts/maint/pre-push) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/scripts/maint/pre-push b/scripts/maint/pre-push.git-hook index 26c48c4e21..26c48c4e21 100755 --- a/scripts/maint/pre-push +++ b/scripts/maint/pre-push.git-hook |