diff options
| author | VirtualTam <virtualtam@flibidi.net> | 2017-08-01 19:39:45 +0200 |
|---|---|---|
| committer | VirtualTam <virtualtam@flibidi.net> | 2017-08-01 19:39:45 +0200 |
| commit | 64d748bbe46ef76631a88a4345159e9c6a4e341a (patch) | |
| tree | de90f80688132c266f5fd6a3589b433667db12b4 /doc/html/mkdocs/js/search.js | |
| parent | fccfa09df84011f363311c44fa1b374ba7cd9af8 (diff) | |
| download | Shaarli-64d748bbe46ef76631a88a4345159e9c6a4e341a.tar.gz Shaarli-64d748bbe46ef76631a88a4345159e9c6a4e341a.tar.zst Shaarli-64d748bbe46ef76631a88a4345159e9c6a4e341a.zip | |
travis: explicitly set the build dist to `precise`
See https://blog.travis-ci.com/2017-07-11-trusty-as-default-linux-is-coming
Signed-off-by: VirtualTam <virtualtam@flibidi.net>
Diffstat (limited to 'doc/html/mkdocs/js/search.js')
0 files changed, 0 insertions, 0 deletions