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 /doc/html/css/highlight.css | |
| 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 'doc/html/css/highlight.css')
0 files changed, 0 insertions, 0 deletions