Review feedback
- Use git submodule for tools. - Update Makefile to use submodules. - Put submodule at tools/ - Tidy up some obsolete references to tools in .gitignore.
This commit is contained in:
1 parent
6f7d4a7a01
commit
5208dcd67e
4 files changed
+12
-13
No files matched your search
@@ -0,0 +1,3 @@
|
||||
[submodule "tools"]
|
||||
path = tools
|
||||
url = https://github.com/weaveworks/tools
|
||||
Reference in new issue
Block a user