making update_javadocs.sh script executable

pwittchen · Aug 9, 2019 · b97ac37 · b97ac37
1 parent 3683422
commit b97ac37
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/update_javadocs.sh b/update_javadocs.sh