From 7c0e56436cdc1156268bf6516d546444868e6100 Mon Sep 17 00:00:00 2001 From: Rene Rivera Date: Mon, 29 May 2017 09:44:47 -0500 Subject: [PATCH] Remove TR1 submodule. --- .gitmodules | 4 ---- libs/tr1 | 1 - 2 files changed, 5 deletions(-) delete mode 160000 libs/tr1 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 diff --git a/libs/tr1 b/libs/tr1 deleted file mode 160000 index c0b9ccf635..0000000000 --- a/libs/tr1 +++ /dev/null @@ -1 +0,0 @@ -Subproject commit c0b9ccf6354b411a94acd77713697a2f19801522