.gitmodules - fluprint_exploration.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/.gitmodules

blob: 5c437cb52ff43317c467d4005409b77fd35088a8 (plain)

1
2
3

[submodule "fluprint"]
	path = fluprint
	url = ./fluprint