Update Travis.

2020-01-08 15:46:57 +01:00
parent b5b1f06a11
commit 0f4975fd7f
4 changed files with 110 additions and 24 deletions
@@ -37,6 +37,7 @@ else
 fi
 subdir=${subdir%%:*}; subdir=${subdir%%/*}; subdir=${subdir%%--*}
 case $branch in
+    appveyor*) ;;
    devel*) ;;
    gitlab*) ;;
    master*) ;;