commit | eb6b4c609eb0d471d39dc53b7e3f2ce0e9559b72 | [log] [tgz] |
---|---|---|
author | rodric rabbah <rodric@gmail.com> | Mon Jul 30 12:42:14 2018 -0400 |
committer | Markus Thömmes <markusthoemmes@me.com> | Mon Jul 30 18:42:14 2018 +0200 |
tree | 511aef618a89c40e3c96f82f7b3aa0d2786211b4 | |
parent | 152d8c127e5fb6ba4859bfb3a4ad98da78de817c [diff] |
Make publish.sh executable. (#7)
diff --git a/tools/travis/publish.sh b/tools/travis/publish.sh old mode 100644 new mode 100755