diff options
author | nodiscc <nodiscc@gmail.com> | 2019-01-06 01:32:28 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-01-06 01:32:28 +0000 |
commit | a7c98a07d1c0f714bb06f22c0a1bc4fd89495912 (patch) | |
tree | 4131ef9a6a4d7d02b157c52b81e19d5038d830cc /doc/custom_theme | |
parent | 1004742f09b55ff781c13745781b9a7e90986faa (diff) | |
parent | 7062ef4ddd1864f0d5eaff7146de54ea1fd9fe1e (diff) | |
download | Shaarli-a7c98a07d1c0f714bb06f22c0a1bc4fd89495912.tar.gz Shaarli-a7c98a07d1c0f714bb06f22c0a1bc4fd89495912.tar.zst Shaarli-a7c98a07d1c0f714bb06f22c0a1bc4fd89495912.zip |
Merge pull request #1251 from shaarli/doc-update-php-compat
doc: update PHP compatibility table
Diffstat (limited to 'doc/custom_theme')
0 files changed, 0 insertions, 0 deletions