.gitmodules - compcert-kvx - Unnamed repository; edit this file 'description' to name the repository.

about summary refs log tree commit diff stats

path: root/.gitmodules

blob: 955c7fc282805c2f9accc50506e55d039652d53f (plain)

1
2
3

[submodule "test/mppa/asm_coverage"]
	path = test/mppa/asm_coverage
	url = git@gricad-gitlab.univ-grenoble-alpes.fr:sixcy/asm-scanner.git