Move module predef

This commit is contained in:
Peter Dimov 2018-10-25 20:41:26 +03:00
parent 05708039d7
commit ad0677eb2b

8
.gitmodules vendored
View file

@ -366,6 +366,10 @@
path = libs/icl
url = ../icl.git
fetchRecurseSubmodules = on-demand
[submodule "predef"]
path = libs/predef
url = ../predef.git
fetchRecurseSubmodules = on-demand
[submodule "local_function"]
path = libs/local_function
url = ../local_function.git
@ -422,10 +426,6 @@
path = libs/polygon
url = ../polygon.git
fetchRecurseSubmodules = on-demand
[submodule "predef"]
path = libs/predef
url = ../predef.git
fetchRecurseSubmodules = on-demand
[submodule "ratio"]
path = libs/ratio
url = ../ratio.git