| author | Michael Albinus <michael.albinus@gmx.de> | |
| Mon, 31 Jul 2023 15:48:36 +0000 (17:48 +0200) | ||
| committer | Michael Albinus <michael.albinus@gmx.de> | |
| Mon, 31 Jul 2023 15:48:36 +0000 (17:48 +0200) | ||
| commit | c4a8572025e5eb7c2f8813dd647211e8870883f8 | |
| tree | e9cfa7890021afed9532338b6b14256de014b6ec | tree | snapshot |
| parent | 3560dfdb868556fb3f9ab3a5a1e5405f14c548c6 | commit | diff |
| etc/HISTORY | diff | blob | history |