[ADD] specific server-tools branch

8 years ago · 6abcd83bdd
1 changed files with 2 additions and 1 deletions
--- a/oca_dependencies.txt
+++ b/oca_dependencies.txt
@ -1,4 +1,5 @@
 # list the OCA project dependencies, one per line
 # add a github url if you need a forked version
 web
-server-tools
+# TODO: change this back to server-tools once https://github.com/OCA/server-tools/pull/738 is merged
+https://github.com/hbrunn/server-tools 8.0-base_domain_operator