diff options
author | 2020-05-06 00:27:03 +0200 | |
---|---|---|
committer | 2020-05-06 00:27:03 +0200 | |
commit | 9a846076fe0ba18bfbf1d4358387d1c5b8800f59 (patch) | |
tree | 304c216cdf0b28b1acd682c466fe767e989a55c2 /Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/labeling | |
parent | missing commit (diff) | |
download | VIATRA-Generator-9a846076fe0ba18bfbf1d4358387d1c5b8800f59.tar.gz VIATRA-Generator-9a846076fe0ba18bfbf1d4358387d1c5b8800f59.tar.zst VIATRA-Generator-9a846076fe0ba18bfbf1d4358387d1c5b8800f59.zip |
color update
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language.ui/src/org/eclipse/viatra/solver/language/ui/labeling')
0 files changed, 0 insertions, 0 deletions