Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. gaming: PMD deactivated for now (it does not work well with Eclipse anymore) (details)
  2. build: plug-ins and dependencies updated (details)
Commit 3ab19f4062f527aa94936b3e1da7064f36011f9f by Christoph Schulz
gaming: PMD deactivated for now (it does not work well with Eclipse anymore)
The file was modifiedgaming-gui/pom.xml
The file was modifiedgaming-core/.project
The file was modifiedgaming-contest/pom.xml
The file was modifiedgaming-contest/.project
The file was modifiedgaming-core/pom.xml
The file was modifiedgaming-gui/.project
Commit 70ec05bc6279c66352b30949ee56dfda7635dabf by Christoph Schulz
build: plug-ins and dependencies updated
The file was modifiedgaming-gui/pom.xml
The file was modifiedpom.xml