Changes
#97 (May 28, 2024, 4:07:11 PM)
#96 (May 28, 2024, 3:47:11 PM)
- ipspiel24: adapted to changes in ObserverFactory interface — Christoph Schulz / detail
#81 (Apr 23, 2024, 6:12:12 PM)
- ipspiel24: PMD deactivated for now (it does not work well with Eclipse anymore) — Christoph Schulz / detail