diff options
author | 2020-11-27 18:50:40 +0100 | |
---|---|---|
committer | 2020-11-27 18:50:40 +0100 | |
commit | ad8ff6074177ea94f95d4fc625b95295566008d7 (patch) | |
tree | 5af7912c3fbca21ed051319b1f3b2547c966c2d2 /Application/hu.bme.mit.inf.dslreasoner.application/src | |
parent | System default backend set by EngineOptions (diff) | |
parent | Merge branch 'master' of github.com:viatra/VIATRA-Generator (diff) | |
download | VIATRA-Generator-ad8ff6074177ea94f95d4fc625b95295566008d7.tar.gz VIATRA-Generator-ad8ff6074177ea94f95d4fc625b95295566008d7.tar.zst VIATRA-Generator-ad8ff6074177ea94f95d4fc625b95295566008d7.zip |
Merge branch 'master' of https://github.com/viatra/VIATRA-Generator.git
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src')
0 files changed, 0 insertions, 0 deletions