Dekker1/iro-mzn
Archived
1
0
Fork 0
Code

Update headers

Browse Source
This commit is contained in:
Jip J. Dekker 2018-02-07 16:47:16 +11:00
parent 294a09dd8e
commit 6bfbb284dd
No known key found for this signature in database
GPG Key ID: 9CB1B58997DD0D58
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
minizinc.iro
View File

@ -6,8 +6,8 @@
##
################################################################
name = MiniZinc
file_extensions [] = mzn;
name = mzn
file_extensions [] = mzn, fzn, dzn;
################################################################
## Constants