diff options
author | 2017-06-19 13:55:19 +0100 | |
---|---|---|
committer | 2017-06-19 13:55:19 +0100 | |
commit | 984a42646ba3675e358941be5e2b6daa357b784c (patch) | |
tree | c05d4f8b2c18bdfdb523740019ed9e70333e8482 /debian/rules | |
parent | 5914feabe4d612d0ed793f4939051f5df29eb50d (diff) |
Set +x on debian/rules
Change-Id: I932232250c4f7ced707914bc3484b66849db43f1
Signed-off-by: Luca Boccassi <luca.boccassi@gmail.com>
Diffstat (limited to 'debian/rules')
-rwxr-xr-x[-rw-r--r--] | debian/rules | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules index 068fd8e1..068fd8e1 100644..100755 --- a/debian/rules +++ b/debian/rules |