diff --git a/addins/7.0.sh b/addins/7.0.sh new file mode 100644 index 0000000000..312d7d155e --- /dev/null +++ b/addins/7.0.sh @@ -0,0 +1,2 @@ +#!/bin/bash +GIT_BRANCH="release/7.0"