diff options
| author | jvoisin | 2015-07-09 14:42:32 +0200 |
|---|---|---|
| committer | jvoisin | 2015-07-09 14:42:32 +0200 |
| commit | 40dbc1cb5bd274452ac56613b61976fe218ce031 (patch) | |
| tree | 9d1c0b08305730c040023d743e9bdabeb07dc355 /script.sh | |
| parent | 3d72248f3b7837a36e184288311bf0397cefc064 (diff) | |
Simplify the php rule
Diffstat (limited to 'script.sh')
0 files changed, 0 insertions, 0 deletions