diff options
author | 2018-10-19 12:14:45 +0000 | |
---|---|---|
committer | 2018-10-19 12:14:45 +0000 | |
commit | 2f720246a04d04d1961f4ae820060c716297f9d9 (patch) | |
tree | fa941f1fa3c14a2ba901ec6546be1086794cfc17 /.gitmodules | |
parent | 40598eeb6b346e5a801a75ae02d383561d35ea21 (diff) | |
parent | 84a00bd02c7a2774874f0c2c5222be4919ee7b75 (diff) |
Merge "Removing Fuel from submodules"
Diffstat (limited to '.gitmodules')
-rw-r--r-- | .gitmodules | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/.gitmodules b/.gitmodules index ca5ba1359..fbe2a007f 100644 --- a/.gitmodules +++ b/.gitmodules @@ -63,11 +63,6 @@ url = ../fds branch = . ignore = dirty -[submodule "docs/submodules/fuel"] - path = docs/submodules/fuel - url = ../fuel - branch = . - ignore = dirty [submodule "docs/submodules/functest"] path = docs/submodules/functest url = ../functest |