agaric-coop/agaric-coop.code-workspace

{
	"folders": [
		{
			"path": "."
		}
	],
	"settings": {}
}