diff options
| author | Rene Rivera <grafikrobot@gmail.com> | 2017-05-29 17:44:47 +0300 |
|---|---|---|
| committer | Rene Rivera <grafikrobot@gmail.com> | 2017-05-29 17:44:47 +0300 |
| commit | 7c0e56436cdc1156268bf6516d546444868e6100 (patch) | |
| tree | dbbccf36b5a1054942580bf8c71f46dec5fd2b6d /.gitmodules | |
| parent | 17c1d378b289ab9dbca90b511b0ae185a093b853 (diff) | |
Remove TR1 submodule.
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/.gitmodules b/.gitmodules index f299b548ba..bd1f103059 100644 --- a/.gitmodules +++ b/.gitmodules @@ -246,10 +246,6 @@ path = libs/rational url = ../rational.git fetchRecurseSubmodules = on-demand -[submodule "tr1"] - path = libs/tr1 - url = ../tr1.git - fetchRecurseSubmodules = on-demand [submodule "iterator"] path = libs/iterator url = ../iterator.git |