.gitmodules - playground - Various small programs to test out ideas and benchmarks, often blog-related

about summary refs log tree commit diff

path: root/.gitmodules

blob: ced0d1e6edeb49d0aa2555ff2ead08b598b29044 (plain) (blame)

1
2
3

[submodule "fptr_ast/deps/conts"]
	path = fptr_ast/deps/conts
	url = https://metanimi.dy.fi/cgit/conts