From 06c11ec38d4a0b3e685aef8abda3930108b5fe85 Mon Sep 17 00:00:00 2001 From: Grauniad Date: Tue, 20 Nov 2018 21:55:39 +0000 Subject: [PATCH] Re-point to legacy build of devtools --- .gitmodules | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitmodules b/.gitmodules index d15e654..d578406 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,6 +1,6 @@ [submodule "DEV_TOOLS"] path = DEV_TOOLS - url = https://github.com/Grauniad/dev_tools.git + url = https://github.com/Grauniad/dev_tools_legacy.git [submodule "TCL-CPP-Plugin-API"] path = TCL-CPP-Plugin-API url = https://github.com/Grauniad/TCL-CPP-Plugin-API.git