Delete .travis directory

2021-01-29 23:16:52 +11:00
parent c8e776bbea
commit ad7778e78d
1 changed files with 0 additions and 5 deletions
--- a/.travis/omit-dist.sh
+++ b/.travis/omit-dist.sh
@ -1,5 +0,0 @@
 #!/bin/bash
 if [ $TRAVIS_BRANCH == "develop" ] && $(git diff --name-only $TRAVIS_COMMIT_RANGE | grep -qE "^(demo/)?dist/"); then
 	echo 'Build output ("dist" and "demo/dist") not permitted in develop' >&2
 	exit 1
 fi