| commit | bdef2f16f100ab1247d6cd63ad985fe5abbfd1af | [log] [tgz] |
|---|---|---|
| author | Michael Keppler <michael.keppler@gmx.de> | Thu Apr 14 13:42:54 2022 +0200 |
| committer | GitHub <noreply@github.com> | Thu Apr 14 17:12:54 2022 +0530 |
| tree | d0e2d3d92418551b549686da5c0f3a1cbfc11e45 | |
| parent | 23e20f03b8cc249778795f14848b81e8eb9ea35d [diff] |
Minor corrections of Eclipse New and Noteworthy (#10) * use consistent formatting for keys * move shortcuts, so they are all part of text, not mixed in text and headline