From 0fde4ed8bcaa5dabd92ba9079455ca12df9ba2ec Mon Sep 17 00:00:00 2001 From: Kshitij Bansal Date: Wed, 3 Jun 2015 18:16:00 -0400 Subject: experimental run scripts --- contrib/run-script-smtcomp2015 | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 contrib/run-script-smtcomp2015 (limited to 'contrib/run-script-smtcomp2015') diff --git a/contrib/run-script-smtcomp2015 b/contrib/run-script-smtcomp2015 old mode 100644 new mode 100755 -- cgit v1.2.3