www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit 74886d7148db2e3bf7d4133742aebbf0b033f632
parent 8ce300f428c58a862e753b2901df38a8b498a7ab
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Tue, 21 Mar 2017 20:42:34 +0100

Cleanup

Diffstat:
M.travis.yml | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml @@ -71,7 +71,7 @@ script: - raco test -x -p phc-thesis - raco setup --check-pkg-deps --pkgs phc-thesis - make - - if test "${DEPLOY:-}" = "true"; then sh ./auto-push-gh-pages.sh; fi + - if test "x${DEPLOY:-}" = "xtrue"; then sh ./auto-push-gh-pages.sh; fi #after_success: # - raco pkg install --deps search-auto cover cover-coveralls