diff options
| author | Florian Pritz <bluewind@xinu.at> | 2016-09-05 18:12:37 +0200 |
|---|---|---|
| committer | Florian Pritz <bluewind@xinu.at> | 2016-09-19 21:41:31 +0200 |
| commit | 2c28398827ed9be86e3a803a27bd54e366569ac9 (patch) | |
| tree | 9c3583a6ff97dd187a68ea36ac4b2e69ea59f8b6 /data/local/examples/.gitignore | |
| parent | 5dfa31be9c34f6099b10e714f5620b3755f9747c (diff) | |
install.php: Repurpose to dependency checker
It never did any installation and being able to run it without having
to delete the is_installed file is actually helpful when dependency
requirements change.
Signed-off-by: Florian Pritz <bluewind@xinu.at>
Diffstat (limited to 'data/local/examples/.gitignore')
0 files changed, 0 insertions, 0 deletions