diff options
author | 2023-12-08 21:47:30 +0100 | |
---|---|---|
committer | 2023-12-08 21:48:25 +0100 | |
commit | bfaa848ffcb31e4d992062f917c87d6131d8cd17 (patch) | |
tree | 6c3b8c474abf0c9faa39f4b80920e5f83a6f5cbd /subprojects/store-reasoning/src | |
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')
0 files changed, 0 insertions, 0 deletions