From ad7778e78d6aefbe53f3f82f2c6bbd0f1dfe0c9c Mon Sep 17 00:00:00 2001
From: Sam Potts <sam@potts.es>
Date: Fri, 29 Jan 2021 23:16:52 +1100
Subject: [PATCH] Delete .travis directory

---
 .travis/omit-dist.sh | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100755 .travis/omit-dist.sh

diff --git a/.travis/omit-dist.sh b/.travis/omit-dist.sh
deleted file mode 100755
index f107a6b9..00000000
--- a/.travis/omit-dist.sh
+++ /dev/null
@@ -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