diff options
| author | Přemysl Janouch <p.janouch@gmail.com> | 2015-05-08 00:16:16 +0200 |
|---|---|---|
| committer | Přemysl Janouch <p.janouch@gmail.com> | 2015-05-08 00:16:16 +0200 |
| commit | 78db31f3e0dcaa4d2bd11181a2bcd67a357fb518 (patch) | |
| tree | 8d5a9d41c30acb80a7b687f7e72d66f7f40e6152 | |
| parent | b3b89b029e775911e959a076b1ee2a2d723019dc (diff) | |
| download | xK-78db31f3e0dcaa4d2bd11181a2bcd67a357fb518.tar.gz xK-78db31f3e0dcaa4d2bd11181a2bcd67a357fb518.tar.xz xK-78db31f3e0dcaa4d2bd11181a2bcd67a357fb518.zip | |
Travis CI: try fixing the PPA
| -rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index ce77a94..87c8460 100644 --- a/.travis.yml +++ b/.travis.yml @@ -24,7 +24,7 @@ compiler: - gcc before_install: # We need this PPA for a recent version of libedit - - sudo add-apt-repository ppa:ondrej/php -y + - sudo add-apt-repository ppa:ondrej/php5-5.6 -y - sudo apt-get update -qq install: - sudo apt-get install -y help2man libedit-dev |