From c79dceac3bc1d4f72618577c673544b2925ce84e Mon Sep 17 00:00:00 2001
From: "Jip J. Dekker" <jip@dekker.li>
Date: Wed, 2 Dec 2015 18:55:05 +0100
Subject: [PATCH] Use single line comments on hotkey

---
 settings/language-mzn.cson | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 settings/language-mzn.cson

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': '% '