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 |
Thu, 29 Dec 2022 14:50:35 +0100 | Mike Becker | #164 add issue summary for developers | changeset | files |