]>
author | Michael Albinus <michael.albinus@gmx.de> | |
Sat, 20 May 2023 12:00:56 +0000 (14:00 +0200) | ||
committer | Michael Albinus <michael.albinus@gmx.de> | |
Sat, 20 May 2023 12:00:56 +0000 (14:00 +0200) | ||
commit | a6bddd176582f8bea79ec77e1e27bb583a6ef0b5 | |
tree | 45028dd1afd6f1c8d55490b3c4922f867c06fbbd | tree | snapshot |
parent | f49fe936abd48f7458596893d25e3300f59508be | commit | diff |
etc/NEWS | diff | blob | history |