fixperms\admin - php-openid - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff stats

path: root/admin/fixperms

blob: 50bb7ffc7780037ce3700d8f8badacf66af86d7e (plain)

1
2
3

#!/usr/bin/env bash
chmod +x admin/makedoc.sh admin/docblocks admin/runtests admin/mathlib \
    admin/fixperms admin/prepare-release