diff options
| author |  Dennis Schwerdel <schwerdel@informatik.uni-kl.de>
| 2017-02-24 07:20:50 +0100 |
|---|---|---|
| committer | Dennis Schwerdel <schwerdel@informatik.uni-kl.de>
| 2017-02-24 07:20:50 +0100 |
| commit | 9e931d1bc52443aeaf9ccf7e2b3d6eaa135368ec (patch) | |
| tree | c9412ac41e89ff30fc5d7053d40e45f73f1e9af2 /data | |
| parent | 59d6f3593cb1dead402813207ab8d860ea684ddc (diff) | |
Added disable_update option to cli/do-install.php
Diffstat (limited to 'data')
0 files changed, 0 insertions, 0 deletions