diff --git a/agaric-coop.code-workspace b/agaric-coop.code-workspace new file mode 100644 index 0000000..5709732 --- /dev/null +++ b/agaric-coop.code-workspace @@ -0,0 +1,8 @@ +{ + "folders": [ + { + "path": "." + } + ], + "settings": {} +}