diff options
author | 2018-03-08 16:53:10 +0100 | |
---|---|---|
committer | 2018-04-03 09:00:55 -0400 | |
commit | eddee83789834869f2b1918154a71ad982a24aac (patch) | |
tree | ed2be5fe44f75f98abe698fccfdb5a96f1043ee6 /etc/compile-by-zinc/femulDisplay_1.mzn | |
parent | b12a2c678ce519b7de019fb068c101cb96371127 (diff) |
rename w_half to w_mul
Diffstat (limited to 'etc/compile-by-zinc/femulDisplay_1.mzn')
0 files changed, 0 insertions, 0 deletions