From 06f18f90783b81b4014310760da4c7fa55f5d688 Mon Sep 17 00:00:00 2001 From: ThomasV Date: Wed, 25 Oct 2017 09:13:00 +0200 Subject: [PATCH] chmod +x make_osx --- contrib/make_osx | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 contrib/make_osx diff --git a/contrib/make_osx b/contrib/make_osx old mode 100644 new mode 100755