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