diff options
author | 2018-03-03 16:24:38 -0500 | |
---|---|---|
committer | 2018-03-03 16:24:38 -0500 | |
commit | 769b900ed48916536eeb61391dd69d0905fce9f3 (patch) | |
tree | 43b013d54661bf70c379086e23a09c9615d325fc /Framework | |
parent | Alloy solver report progress and does not call solver if cancelled (diff) | |
download | VIATRA-Generator-769b900ed48916536eeb61391dd69d0905fce9f3.tar.gz VIATRA-Generator-769b900ed48916536eeb61391dd69d0905fce9f3.tar.zst VIATRA-Generator-769b900ed48916536eeb61391dd69d0905fce9f3.zip |
Generation is executed in a job
Diffstat (limited to 'Framework')
0 files changed, 0 insertions, 0 deletions