]> git.immae.eu Git - github/shaarli/Shaarli.git/commitdiff
Merge pull request #912 from virtualtam/travis/precise
authorVirtualTam <virtualtam+github@flibidi.net>
Wed, 2 Aug 2017 12:40:49 +0000 (14:40 +0200)
committerGitHub <noreply@github.com>
Wed, 2 Aug 2017 12:40:49 +0000 (14:40 +0200)
travis: explicitly set the build dist to `precise`


Trivial merge