remove some submodules, replacing them with hardcoded paths instead
This commit is contained in:
9
.gitmodules
vendored
9
.gitmodules
vendored
@@ -1,12 +1,3 @@
|
||||
[submodule "lib/brolib-sml"]
|
||||
path = lib/brolib-sml
|
||||
url = https://github.com/hummy123/brolib-sml
|
||||
[submodule "lib/cozette-sml"]
|
||||
path = lib/cozette-sml
|
||||
url = https://github.com/hummy123/cozette-sml
|
||||
[submodule "tests/Railroad"]
|
||||
path = tests/Railroad
|
||||
url = https://github.com/PerplexSystems/Railroad
|
||||
[submodule "test/Railroad"]
|
||||
path = test/Railroad
|
||||
url = https://github.com/PerplexSystems/Railroad
|
||||
|
||||
@@ -1,9 +1,8 @@
|
||||
$(SML_LIB)/basis/basis.mlb
|
||||
|
||||
(* LIBRARIES (purely functional) *)
|
||||
lib/brolib-sml/src/line_gap.sml
|
||||
lib/brolib-sml/src/gap_set.sml
|
||||
lib/cozette-sml/fonts-with-z-index/cozette-ascii.mlb
|
||||
../brolib-sml/src/line_gap.sml
|
||||
../cozette-sml/fonts-with-z-index/cozette-ascii.mlb
|
||||
|
||||
(* FUNCTIONAL CORE *)
|
||||
fcore/bin-search.sml
|
||||
|
||||
Submodule lib/brolib-sml deleted from fd96032949
Submodule lib/cozette-sml deleted from 5ee4d06375
Reference in New Issue
Block a user