From f408e61b00501b2adfc0e088c04374f2bafc452d Mon Sep 17 00:00:00 2001 From: Cas Cremers Date: Wed, 2 May 2012 21:17:23 +0200 Subject: [PATCH] Removed obsolete script. --- src/copy2gui.sh | 11 ----------- 1 file changed, 11 deletions(-) delete mode 100755 src/copy2gui.sh diff --git a/src/copy2gui.sh b/src/copy2gui.sh deleted file mode 100755 index bc07119..0000000 --- a/src/copy2gui.sh +++ /dev/null @@ -1,11 +0,0 @@ -#!/bin/sh - -cp scyther-linux ../gui/Scyther/ -cp scyther-w32.exe ../gui/Scyther/ -cp scyther-mac ../gui/Scyther/ - -# bonus... -cp scyther-linux ~/bin - -echo Copied the files to their respective locations and ~/bin -