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 | |
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`
-rw-r--r-- | .travis.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index 59b86c08..26535ad3 100644 --- a/.travis.yml +++ b/.travis.yml | |||
@@ -1,4 +1,5 @@ | |||
1 | sudo: false | 1 | sudo: false |
2 | dist: precise | ||
2 | language: php | 3 | language: php |
3 | addons: | 4 | addons: |
4 | apt: | 5 | apt: |