From 1b231b442c576bacc5d25a35a5846f896394e2f1 Mon Sep 17 00:00:00 2001 From: Tim 'mithro' Ansell Date: Fri, 24 Nov 2017 15:37:35 +1100 Subject: minisat: Make update script executable. --- libs/minisat/00_UPDATE.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 libs/minisat/00_UPDATE.sh (limited to 'libs/minisat/00_UPDATE.sh') diff --git a/libs/minisat/00_UPDATE.sh b/libs/minisat/00_UPDATE.sh old mode 100644 new mode 100755 -- cgit v1.2.3