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 /application/Url.php | |
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 'application/Url.php')
-rw-r--r--[-rwxr-xr-x] | application/Url.php | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/application/Url.php b/application/Url.php index a4ac2e73..a4ac2e73 100755..100644 --- a/application/Url.php +++ b/application/Url.php | |||