diff options
author | VirtualTam <virtualtam+github@flibidi.net> | 2017-07-29 16:17:09 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-07-29 16:17:09 +0200 |
commit | fccfa09df84011f363311c44fa1b374ba7cd9af8 (patch) | |
tree | a5f9a26ce2033182fd0d13c9035b44ff9ebbf9fe /index.php | |
parent | 57ee53d6c6be4b641764b0a635b2998c6cdc8197 (diff) | |
parent | 3a6f91a9ccbdd8f2ed8e33c88c7800f2623cfd3a (diff) | |
download | Shaarli-fccfa09df84011f363311c44fa1b374ba7cd9af8.tar.gz Shaarli-fccfa09df84011f363311c44fa1b374ba7cd9af8.tar.zst Shaarli-fccfa09df84011f363311c44fa1b374ba7cd9af8.zip |
Merge pull request #906 from virtualtam/docker/cleanup
docker: remove `dev` image, update documentation
Diffstat (limited to 'index.php')
0 files changed, 0 insertions, 0 deletions