diff options
author | Vincent Ambo <vincent@spotify.com> | 2014-03-19T11·17+0100 |
---|---|---|
committer | Vincent Ambo <vincent@spotify.com> | 2014-03-19T11·17+0100 |
commit | 089f44e8c9d216acf0b2054ef0a214108c6a3c91 (patch) | |
tree | 45d909c8430ed99c5d5ee92f5c85dc0055d49cd4 /update.sh | |
parent | d829f0c70c09ff2e4c8617f45cb4c85ac4a46f2c (diff) |
Cleaning up after git move
Diffstat (limited to 'update.sh')
-rw-r--r-- | update.sh | 5 |
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 |