diff --git a/oscar/fix_5-12_UI_files.sh b/oscar/fix_5-12_UI_files.sh deleted file mode 100755 index b3e415af..00000000 --- a/oscar/fix_5-12_UI_files.sh +++ /dev/null @@ -1,8 +0,0 @@ -#!/bin/bash -# - -DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" -cd $DIR - -sed -i s/PlaceholderText/Text/ mainwindow.ui -#