diff options
author | Kristóf Marussy <kristof@marussy.com> | 2023-12-08 21:47:30 +0100 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2023-12-08 21:48:25 +0100 |
commit | bfaa848ffcb31e4d992062f917c87d6131d8cd17 (patch) | |
tree | 6c3b8c474abf0c9faa39f4b80920e5f83a6f5cbd /subprojects/store-reasoning/src/test/java/tools | |
parent | fix: typo (diff) | |
download | refinery-bfaa848ffcb31e4d992062f917c87d6131d8cd17.tar.gz refinery-bfaa848ffcb31e4d992062f917c87d6131d8cd17.tar.zst refinery-bfaa848ffcb31e4d992062f917c87d6131d8cd17.zip |
chore: upgrade to Eclipse 2023-12
Updates references to Eclipse in documentation (but IntelliJ is the preferred
editor now).
Also fixes incompatibilities with the Eclipse compiler.
Diffstat (limited to 'subprojects/store-reasoning/src/test/java/tools')
0 files changed, 0 insertions, 0 deletions