https://github.com/MevenBertrand/metacoq
Raw File
Tip revision: 5856a0b4685453815d3af84142ae6605f9a2dcb9 authored by nicolas tabareau on 18 October 2019, 09:19:35 UTC
renaming
Tip revision: 5856a0b
metacoq.code-workspace
{
	"folders": [
		{
			"path": "."
		}
	]
}
back to top