amscppimglib4/amscppimglib4.code-workspace

{
	"folders": [
		{
			"path": "."
		},
		{
			"path": "../amscimglib4"
		},
		{
			"path": "../amsmathutil25"
		}
	]
}