Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. build: Eclipse Java language configuration updated (details)
Commit e6a6385cdc04ba3957a46708d5361bb70e2fa710 by Christoph Schulz
build: Eclipse Java language configuration updated
The file was modifiedgaming-core/.settings/org.eclipse.jdt.core.prefs
The file was modifiedgaming-contest/.classpath
The file was modifiedgaming-build-tools/.settings/org.eclipse.jdt.core.prefs
The file was modifiedgaming-gui/.classpath
The file was modifiedgaming-build-tools/.classpath
The file was modifiedgaming-contest/.settings/org.eclipse.jdt.core.prefs
The file was modifiedgaming-gui/.settings/org.eclipse.jdt.core.prefs
The file was modifiedgaming-core/.classpath