Changes
#157 (Apr 17, 2023, 9:20:11 PM)
- build: plug-ins and dependencies updated — Christoph Schulz / detail
- build: switched to Java 17 — Christoph Schulz / detail
#155 (Mar 15, 2023, 12:20:38 AM)
- ipspiel22: Maven and Eclipse project configuration updated — Christoph Schulz / detail