![[Jenkins]](/jenkins/static/67fda021/images/svgs/logo.svg){kind=logo}
Summary
- build: Eclipse Java language configuration updated (details)
| The file was modified | gaming-core/.classpath |
| The file was modified | gaming-gui/.classpath |
| The file was modified | gaming-core/.settings/org.eclipse.jdt.core.prefs |
| The file was modified | gaming-build-tools/.classpath |
| The file was modified | gaming-contest/.classpath |
| The file was modified | gaming-gui/.settings/org.eclipse.jdt.core.prefs |
| The file was modified | gaming-contest/.settings/org.eclipse.jdt.core.prefs |
| The file was modified | gaming-build-tools/.settings/org.eclipse.jdt.core.prefs |