diff options
author | 2021-10-02 19:55:26 +0200 | |
---|---|---|
committer | 2021-10-02 19:55:26 +0200 | |
commit | 66c136002dca446fba1c18187a9f317481f753ca (patch) | |
tree | 96d8113a3e4d3c869da3acd542b869d7f36ed0d3 /language-web/src/main/java/org/eclipse/viatra/solver/language/web/CacheControlFilter.java | |
parent | ci: bump to Java 17 (diff) | |
download | refinery-66c136002dca446fba1c18187a9f317481f753ca.tar.gz refinery-66c136002dca446fba1c18187a9f317481f753ca.tar.zst refinery-66c136002dca446fba1c18187a9f317481f753ca.zip |
build: simplify Eclipse project generation
Make sure both the :generateXtext and :generateTestXtext task are run if
there is a generated xtend-gen source folder, so that BuildShip can set
ignore_optional_problems also on there.
Diffstat (limited to 'language-web/src/main/java/org/eclipse/viatra/solver/language/web/CacheControlFilter.java')
0 files changed, 0 insertions, 0 deletions