Merge branch 'hotfix/1.7.5'

cancerit · Nov 23, 2015 · 9a1763f · 9a1763f
2 parents df6dbc1 + 31aca6f
commit 9a1763f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/setup.sh b/setup.sh
@@ -21,7 +21,7 @@
 #  along with this program. If not, see <http://www.gnu.org/licenses/>.
 ##########LICENCE##########
 
-CAVEMAN_CORE="https://github.com/cancerit/CaVEMan/archive/1.7.1.tar.gz"
+CAVEMAN_CORE="https://github.com/cancerit/CaVEMan/archive/1.7.2.tar.gz"
 
 done_message () {
     if [ $? -eq 0 ]; then