From ddeaef392e095e23c31c72af4e45c978efa71aa0 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Sat, 7 Feb 2015 01:19:44 +0000 Subject: [PATCH] Exeutable bit on. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9677 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/etc/scripts/bash_prism_completion.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 prism/etc/scripts/bash_prism_completion.sh diff --git a/prism/etc/scripts/bash_prism_completion.sh b/prism/etc/scripts/bash_prism_completion.sh old mode 100644 new mode 100755