| 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 |