diff options
author | VirtualTam <virtualtam@flibidi.net> | 2016-01-17 20:48:39 +0100 |
---|---|---|
committer | VirtualTam <virtualtam@flibidi.net> | 2016-01-17 21:02:24 +0100 |
commit | fc17813bd1888aeace1e74a15c10ba79043a87f8 (patch) | |
tree | 0f4ef60c68f1226f1392cc5819c562958b2e54cb /.gitignore | |
parent | 122d90ef8d83c6702a8b47f81c32fa3ba7a53c31 (diff) | |
download | Shaarli-fc17813bd1888aeace1e74a15c10ba79043a87f8.tar.gz Shaarli-fc17813bd1888aeace1e74a15c10ba79043a87f8.tar.zst Shaarli-fc17813bd1888aeace1e74a15c10ba79043a87f8.zip |
tests: add a make target to check file permissions
Additions:
- [makefile] check versioned files are not executable
- [travis] call the new make target
Signed-off-by: VirtualTam <virtualtam@flibidi.net>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions