diff options
author | João Valverde <joao.valverde@tecnico.ulisboa.pt> | 2016-08-18 00:05:05 +0100 |
---|---|---|
committer | João Valverde <j@v6e.pt> | 2016-08-17 23:50:24 +0000 |
commit | 9cbcdee7538b8b22eb27e68d0697c3a15635960f (patch) | |
tree | 01ac0acec3b807eccef9b3cbd76c43fecfbf3fbd /packaging/rpm | |
parent | e3daf4a66d5f14148494c28649fb78136807e417 (diff) | |
download | wireshark-9cbcdee7538b8b22eb27e68d0697c3a15635960f.tar.gz |
pre-commit: Make version check work with git-worktree
By disabling it outside the main working tree this time.
Change-Id: I2075b07370e3cc1395c6de9695e40b0a952e3eab
Reviewed-on: https://code.wireshark.org/review/17122
Petri-Dish: João Valverde <j@v6e.pt>
Reviewed-by: João Valverde <j@v6e.pt>
Diffstat (limited to 'packaging/rpm')
0 files changed, 0 insertions, 0 deletions