diff options
Diffstat (limited to '~GUI/Libraries')
| -rw-r--r-- | ~GUI/Libraries/.gitignore | 3 | ||||
| -rw-r--r-- | ~GUI/Libraries/fetch.sh | 14 |
2 files changed, 0 insertions, 17 deletions
diff --git a/~GUI/Libraries/.gitignore b/~GUI/Libraries/.gitignore deleted file mode 100644 index 214bffb..0000000 --- a/~GUI/Libraries/.gitignore +++ /dev/null @@ -1,3 +0,0 @@ -# Don't check in anything we fetch -wx - diff --git a/~GUI/Libraries/fetch.sh b/~GUI/Libraries/fetch.sh deleted file mode 100644 index dcf096c..0000000 --- a/~GUI/Libraries/fetch.sh +++ /dev/null @@ -1,14 +0,0 @@ -#!/usr/bin/env bash - -set -o errexit -set -o xtrace - -WX_3_2_1_URL=https://github.com/wxWidgets/wxWidgets/releases/download/v3.2.1/wxWidgets-3.2.1.zip -WX_URL=$WX_3_2_1_URL - -mkdir wx -pushd wx >/dev/null -wget $WX_URL -unzip $(basename $WX_URL) -popd >/dev/null - |