[submodule "src/forb"] path = src/forb url = ../forb.git [submodule "src/frsh_forb"] path = src/frsh_forb url = ../frsh_forb.git [submodule "src/fwp"] path = src/fwp url = ../fwp.git [submodule "src/ulut"] path = src/ulut url = ../../ulut.git