Commit ca2a76fe authored by Guillaume Melquiond's avatar Guillaume Melquiond

Fix globs metadata for sourceview specification of Why3.

parent a56f7bca
...@@ -24,7 +24,7 @@ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. ...@@ -24,7 +24,7 @@ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
<language id="why" _name="Why3" version="2.0" _section="Sources"> <language id="why" _name="Why3" version="2.0" _section="Sources">
<metadata> <metadata>
<property name="mimetypes">text/x-why</property> <property name="mimetypes">text/x-why</property>
<property name="globs">*.ml;*.mli;*.mll;*.mly</property> <property name="globs">*.mlw;*.why</property>
<property name="block-comment-start">(*</property> <property name="block-comment-start">(*</property>
<property name="block-comment-end">*)</property> <property name="block-comment-end">*)</property>
</metadata> </metadata>
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment