commit | db5b0c810fd438096945ee3726e92913461541d9 | [log] [tgz] |
---|---|---|
author | Christopher Gerking <christopher.gerking@kit.edu> | Tue Feb 16 10:27:20 2021 +0100 |
committer | Christopher Gerking <christopher.gerking@kit.edu> | Tue Feb 16 10:27:20 2021 +0100 |
tree | b4254f3cc24ea3374f1f0f258c2c1875a60e8afc | |
parent | 484b98ccf8e2c74367dad51827cbacd1eb1fe362 [diff] |
[472482] Enable resolution of workspace blackboxes through JDT