diff options
Diffstat (limited to 'admin/fixperms')
| -rw-r--r-- | admin/fixperms | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/admin/fixperms b/admin/fixperms index 2b710d1..0ea0944 100644 --- a/admin/fixperms +++ b/admin/fixperms @@ -10,4 +10,6 @@ admin/makedoc.sh admin/mathlib admin/prepare-release admin/runtests +admin/findallphp +admin/syntaxcheck EOF |