diff options
author | OszkarSemerath <semerath@mit.bme.hu> | 2019-05-05 19:35:24 -0400 |
---|---|---|
committer | OszkarSemerath <semerath@mit.bme.hu> | 2019-05-05 19:35:24 -0400 |
commit | 9afdbe4d358f97f2f9507345d0290563e0f85e7e (patch) | |
tree | 3e61ec06263d7f50bc41295bed23ab53dc2d5ada /Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner | |
parent | Removed unwanted OCL dependency (diff) | |
download | VIATRA-Generator-9afdbe4d358f97f2f9507345d0290563e0f85e7e.tar.gz VIATRA-Generator-9afdbe4d358f97f2f9507345d0290563e0f85e7e.tar.zst VIATRA-Generator-9afdbe4d358f97f2f9507345d0290563e0f85e7e.zip |
fixed manifest
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner')
0 files changed, 0 insertions, 0 deletions