diff options
| author |  Kristóf Marussy <marussy@mit.bme.hu> | 2020-05-19 21:18:06 +0200 |
|---|---|---|
| committer | Kristóf Marussy <marussy@mit.bme.hu> | 2020-05-19 21:18:06 +0200 |
| commit | b3c1c5b30ae8ea7ebad391c9250b4509d5a4cc9b (patch) | |
| tree | ad3222182065b8fac7d9b3d528c4efabf2aa0dd2 /Application/org.eclipse.viatra.solver.language/plugin.xml_gen | |
| parent | Merge branch 'master' of github.com:viatra/VIATRA-Generator (diff) | |
| download | VIATRA-Generator-b3c1c5b30ae8ea7ebad391c9250b4509d5a4cc9b.tar.gz VIATRA-Generator-b3c1c5b30ae8ea7ebad391c9250b4509d5a4cc9b.tar.zst VIATRA-Generator-b3c1c5b30ae8ea7ebad391c9250b4509d5a4cc9b.zip | |
Config language WIP
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/plugin.xml_gen')
0 files changed, 0 insertions, 0 deletions