Thu, 29 Dec 2022 15:12:25 +0100 | Mike Becker | fix Jakarta EE request attribute names | changeset | files |
Thu, 29 Dec 2022 15:04:21 +0100 | Mike Becker | some minor style fixes | changeset | files |
Thu, 29 Dec 2022 14:53:05 +0100 | Mike Becker | fix obsolete width attribute in col | changeset | files |
Thu, 29 Dec 2022 14:50:58 +0100 | Mike Becker | fix gradle builds with recent IntelliJ | changeset | files |