diff options
| author | nodiscc <nodiscc@gmail.com> | 2019-11-09 15:45:09 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-09 15:45:09 +0000 |
| commit | 99c7d663847fefccc271fe1d9b379c2c366c8de6 (patch) | |
| tree | c2938a48f452d1099f6f1e68cd6394a2592f7778 /phpdoc.dist.xml | |
| parent | 4b15c49198ef4be57b2ccb3d9033035a16d3b20c (diff) | |
| parent | 3575fe5bcf8910afad5cc82ed68f3d442bab1a88 (diff) | |
| download | Shaarli-99c7d663847fefccc271fe1d9b379c2c366c8de6.tar.gz Shaarli-99c7d663847fefccc271fe1d9b379c2c366c8de6.tar.zst Shaarli-99c7d663847fefccc271fe1d9b379c2c366c8de6.zip | |
Merge pull request #1379 from rfolo9li/patch-1
Add php-json as required PHP module
Diffstat (limited to 'phpdoc.dist.xml')
0 files changed, 0 insertions, 0 deletions