diff --git a/settings/language-mzn.cson b/settings/language-mzn.cson new file mode 100644 index 0000000..1fd2603 --- /dev/null +++ b/settings/language-mzn.cson @@ -0,0 +1,3 @@ +'.source.mzn': + 'editor': + 'commentStart': '% '