i wonder if chmod permissions are retained after resetting a branch.

2019-11-27 22:43:15 +01:00
parent 8cec8fa506
commit eef3ec090d
19 changed files with 197 additions and 223 deletions
@@ -18,3 +18,9 @@ export BSQL_VERSION=v1.4.0.0

 #node version
 export NODE_VERSION=8
+
+# PHP version
+export PHP_VERSION=5.6
+
+# SpacemanDMM git tag
+export SPACEMAN_DMM_VERSION=suite-1.0