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/md/Development-guidelines.md | |
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/md/Development-guidelines.md')
0 files changed, 0 insertions, 0 deletions