From 1b231b442c576bacc5d25a35a5846f896394e2f1 Mon Sep 17 00:00:00 2001 From: Tim 'mithro' Ansell Date: Fri, 24 Nov 2017 15:37:35 +1100 Subject: [PATCH] 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 diff --git a/libs/minisat/00_UPDATE.sh b/libs/minisat/00_UPDATE.sh old mode 100644 new mode 100755 -- 2.30.2