From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 9 Jul 2012 14:54:58 +0000 (+0000)
Subject: fix eXecutable bit on a script
X-Git-Tag: cvc5-1.0.0~7942
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b67edc91bfec11e65ed26b121555b87fed00f864;p=cvc5.git

fix eXecutable bit on a script
---

diff --git a/doc/find_public_interface.sh b/doc/find_public_interface.sh
old mode 100644
new mode 100755