diff options
| author | VirtualTam <virtualtam+github@flibidi.net> | 2017-08-02 14:40:49 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-02 14:40:49 +0200 |
| commit | ce6bdab3a02f3a30a656df78b43777b23b70afec (patch) | |
| tree | de90f80688132c266f5fd6a3589b433667db12b4 /doc/html/docker | |
| parent | fccfa09df84011f363311c44fa1b374ba7cd9af8 (diff) | |
| parent | 64d748bbe46ef76631a88a4345159e9c6a4e341a (diff) | |
| download | Shaarli-ce6bdab3a02f3a30a656df78b43777b23b70afec.tar.gz Shaarli-ce6bdab3a02f3a30a656df78b43777b23b70afec.tar.zst Shaarli-ce6bdab3a02f3a30a656df78b43777b23b70afec.zip | |
Merge pull request #912 from virtualtam/travis/precise
travis: explicitly set the build dist to `precise`
Diffstat (limited to 'doc/html/docker')
0 files changed, 0 insertions, 0 deletions