.gitmodules - NWI-IBC025-Berekeningsmodellen - Files related to NWI-IBC025 Berekeningsmodellen, summer 2016, Radboud University Nijmegen.

summary refs log tree commit diff

path: root/.gitmodules

blob: 4f73579681d796d2d585cd4e87f081665c8bd904 (plain) (blame)

[submodule "CleanSmurf"]
	path = CleanSmurf
	url = https://github.com/camilstaps/CleanSmurf
[submodule "CleanSmurfProver"]
	path = CleanSmurfProver
	url = https://github.com/camilstaps/CleanSmurf