diff options
| author |  Alexis Degrugillier <aledeg@users.noreply.github.com>
| 2020-05-28 23:20:53 +0200 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2020-05-28 23:20:53 +0200 |
| commit | f05408a2e5ee2a83b6af38fd4cf46876c34328ba (patch) | |
| tree | a7206d72cab833e30962c95a85fb3cbdaaf4789a /lib/lib_date.php | |
| parent | 015cd1e06e15ea1c261633848752ccd491ee6194 (diff) | |
Fix makefile when no local php (#3010)
The makefile did not work when there was no local php.
Diffstat (limited to 'lib/lib_date.php')
0 files changed, 0 insertions, 0 deletions