1 files changed, 0 insertions, 11 deletions
diff --git a/getlibs.sh b/getlibs.sh
deleted file mode 100755
index be24be7..0000000
--- a/getlibs.sh
+++ /dev/null
@@ -1,11 +0,0 @@
-#!/bin/sh
-VERSION="4.1.0"
-NAME="RDFox-linux-$VERSION"
-LINK="https://rdfox-distribution.s3.eu-west-2.amazonaws.com/release/v$VERSION/$NAME.zip"
-DEST="./lib/"
-mkdir -p "$DEST"
-wget "$LINK"
-unzip "$NAME.zip"
-cp "./$NAME/lib/JRDFox.jar" "$DEST"

diff --git a/getlibs.sh b/getlibs.sh deleted file mode 100755 index be24be7..0000000 --- a/getlibs.sh +++ /dev/null
@@ -1,11 +0,0 @@
1	#!/bin/sh
2
3	VERSION="4.1.0"
4	NAME="RDFox-linux-$VERSION"
5	LINK="https://rdfox-distribution.s3.eu-west-2.amazonaws.com/release/v$VERSION/$NAME.zip"
6	DEST="./lib/"
7
8	mkdir -p "$DEST"
9	wget "$LINK"
10	unzip "$NAME.zip"
11	cp "./$NAME/lib/JRDFox.jar" "$DEST"