From 127db9e3548402364a75fffca5efe3b521aafd87 Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Thu, 9 Jul 2015 13:00:33 +0000 Subject: [PATCH] set executable bit for hoa scripts git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10273 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/etc/scripts/hoa/hoa-ltl3dra-tdgra-for-prism | 0 prism/etc/scripts/hoa/hoa-rabinizer3-tdgra-for-prism | 0 prism/etc/scripts/hoa/hoa-rabinizer3-tdra-for-prism | 0 3 files changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 prism/etc/scripts/hoa/hoa-ltl3dra-tdgra-for-prism mode change 100644 => 100755 prism/etc/scripts/hoa/hoa-rabinizer3-tdgra-for-prism mode change 100644 => 100755 prism/etc/scripts/hoa/hoa-rabinizer3-tdra-for-prism diff --git a/prism/etc/scripts/hoa/hoa-ltl3dra-tdgra-for-prism b/prism/etc/scripts/hoa/hoa-ltl3dra-tdgra-for-prism old mode 100644 new mode 100755 diff --git a/prism/etc/scripts/hoa/hoa-rabinizer3-tdgra-for-prism b/prism/etc/scripts/hoa/hoa-rabinizer3-tdgra-for-prism old mode 100644 new mode 100755 diff --git a/prism/etc/scripts/hoa/hoa-rabinizer3-tdra-for-prism b/prism/etc/scripts/hoa/hoa-rabinizer3-tdra-for-prism old mode 100644 new mode 100755