From 07a457b5d1beded6946652ed83dc900183d94120 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Wed, 17 Aug 2016 11:33:14 +0200
Subject: [PATCH] renaming packaging script

Former-commit-id: ef506391b4d4211df4c021ac720e8c9da9fd43d2
---
 util/osx-package/{run.sh => package.sh} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename util/osx-package/{run.sh => package.sh} (100%)

diff --git a/util/osx-package/run.sh b/util/osx-package/package.sh
similarity index 100%
rename from util/osx-package/run.sh
rename to util/osx-package/package.sh