]>
author | Michael Albinus <michael.albinus@gmx.de> | |
Mon, 13 Feb 2023 15:44:57 +0000 (16:44 +0100) | ||
committer | Michael Albinus <michael.albinus@gmx.de> | |
Mon, 13 Feb 2023 15:44:57 +0000 (16:44 +0100) | ||
commit | dd8b720ee74e72359eb174aa5a27ab1770a349bd | |
tree | 7bdcd8132fa9e383b35d3cffaaa475d5f5004041 | tree | snapshot |
parent | 909bd04cf5fd42744ca5f1f34cb42b48b363ee62 | commit | diff |
etc/NEWS | diff | blob | history |