From 39181472fe4d493ff37e20cb080237780a6ceb06 Mon Sep 17 00:00:00 2001 From: Guillaume Melquiond Date: Tue, 21 Jan 2003 17:20:32 +0000 Subject: [PATCH] Import of Interval library [SVN r16980] --- .gitmodules | 4 ++++ libs/numeric/interval | 1 + 2 files changed, 5 insertions(+) create mode 160000 libs/numeric/interval diff --git a/.gitmodules b/.gitmodules index b828adaafd..0c3678a9e3 100644 --- a/.gitmodules +++ b/.gitmodules @@ -178,6 +178,10 @@ path = libs/statechart url = ../statechart.git fetchRecurseSubmodules = on-demand +[submodule "interval"] + path = libs/numeric/interval + url = ../interval.git + fetchRecurseSubmodules = on-demand [submodule "inspect"] path = tools/inspect url = ../inspect.git diff --git a/libs/numeric/interval b/libs/numeric/interval new file mode 160000 index 0000000000..21e378f40b --- /dev/null +++ b/libs/numeric/interval @@ -0,0 +1 @@ +Subproject commit 21e378f40b250205a086ef202d6d602e8e4f6bcf