From 1c130dc7c1551fdd08989b99645327aa7c58507e Mon Sep 17 00:00:00 2001 From: Andrea Censi Date: Thu, 23 Aug 2018 14:10:29 +0200 Subject: [PATCH] updating --- .gitmodules | 4 ++-- resources | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.gitmodules b/.gitmodules index 7109785..ed31fb6 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,3 @@ -[submodule "resources"] +[submodule "resource2http"] path = resources - url = https://github.com/duckietown/docs-resources.git + url = https://github.com/AndreaCensi/docs-resources2.git diff --git a/resources b/resources index c9773af..71f6b34 160000 --- a/resources +++ b/resources @@ -1 +1 @@ -Subproject commit c9773af4dcdb43cf04b232efdd561b6a36d0f96b +Subproject commit 71f6b3484b1575c7e6b46ada8e93665da18b3ffa