From 48457d177876a0d103c7acc7819f46c6cd0e953e Mon Sep 17 00:00:00 2001
From: Michael Snoyman <michael@snoyman.com>
Date: Sun, 14 Dec 2014 10:31:03 +0200
Subject: [PATCH] Removeu nneeded nightly scripts

---
 jenkins-nightly.sh | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100755 jenkins-nightly.sh

diff --git a/jenkins-nightly.sh b/jenkins-nightly.sh
deleted file mode 100755
index 008e90d1..00000000
--- a/jenkins-nightly.sh
+++ /dev/null
@@ -1,5 +0,0 @@
-#!/bin/bash -ex
-
-cabal update
-cabal install
-./dist/build/stackage-nightly/stackage-nightly