Skip to content

Changes

#157 (Apr 17, 2023, 9:20:11 PM)

  1. build: plug-ins and dependencies updated — Christoph Schulz / detail
  2. build: switched to Java 17 — Christoph Schulz / detail

#155 (Mar 15, 2023, 12:20:38 AM)

  1. ipspiel22: Maven and Eclipse project configuration updated — Christoph Schulz / detail