1 files changed, 0 insertions, 5 deletions
diff --git a/update.sh b/update.sh
deleted file mode 100644
index a4229f941b3d..000000000000
--- a/update.sh
+++ /dev/null
@@ -1,5 +0,0 @@
-#!/bin/bash
-
-hg pull
-hg update
-cabal install --reinstall
\ No newline at end of file