diff options
| author | nodiscc <nodiscc@gmail.com> | 2020-03-09 17:43:45 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-09 17:43:45 +0000 |
| commit | 273453900afd7d118c0a369971f6c1fdbdd4f51d (patch) | |
| tree | 370e069576fa487f371ca72d0b9824cbf65e7339 /.dev | |
| parent | 1ea8aeef765d05e62c9766dd47dc4c417088f8c3 (diff) | |
| download | Shaarli-273453900afd7d118c0a369971f6c1fdbdd4f51d.tar.gz Shaarli-273453900afd7d118c0a369971f6c1fdbdd4f51d.tar.zst Shaarli-273453900afd7d118c0a369971f6c1fdbdd4f51d.zip | |
doc: use obvious <PHP_VERSION> placeholder
Co-Authored-By: Aurélien Tamisier <virtualtam+github@flibidi.net>
Diffstat (limited to '.dev')
0 files changed, 0 insertions, 0 deletions