diff options
author | 2024-07-29 20:43:34 +0200 | |
---|---|---|
committer | 2024-07-29 20:43:34 +0200 | |
commit | e21d38e2858a396b894307d87a2d2f2e12a8d8e1 (patch) | |
tree | 0eb28b2dd85368d7cce66f526031e9ddb4eefb83 /org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.ide/src/main/java | |
parent | Merge pull request #62 from kris7t/integration-tests (diff) | |
download | refinery-e21d38e2858a396b894307d87a2d2f2e12a8d8e1.tar.gz refinery-e21d38e2858a396b894307d87a2d2f2e12a8d8e1.tar.zst refinery-e21d38e2858a396b894307d87a2d2f2e12a8d8e1.zip |
Revert "refactor(docs): no logo in header on small screens"
This reverts commit 8ae860a12a320ce24ff7c6128115291f85c5aa69.
Diffstat (limited to 'org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.ide/src/main/java')
0 files changed, 0 insertions, 0 deletions