key icon indicating copy to clipboard operation
key copied to clipboard

Published 20 hours ago • verified publisher icon KeYProject

Remove version lock for JDT in spotless

Open wadoon opened this issue 7 months ago • 0 comments

Remove the version lock for JDT in the spotless configurations, b/c the new version can handle all classes w/o error.

Also, apply spotless to the code basis. It seems, that Java in Javadoc is also formatted.

wadoon avatar Jul 07 '24 13:07 wadoon