diff options
Diffstat (limited to '.git-hooks/pre-commit')
| -rwxr-xr-x | .git-hooks/pre-commit | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.git-hooks/pre-commit b/.git-hooks/pre-commit index c7d51a1bcb2e..cddc8d330b77 100755 --- a/.git-hooks/pre-commit +++ b/.git-hooks/pre-commit @@ -97,6 +97,10 @@ sub check_whitespaces($) { bad_line("translatable .ui file line without context", $_, "ui"); } + if ((/requires/) and (/lib="gtk+/) and not (/version="3.18/)) + { + bad_line("min supported version of gtk3 is 3.18", $_, "ui"); + } if ((/<interface/) and not(/domain=/)) { bad_line(".ui file without translation domain", $_, "ui"); |