| author | Michael Albinus <michael.albinus@gmx.de> | |
| Tue, 28 Jun 2022 12:40:52 +0000 (14:40 +0200) | ||
| committer | Michael Albinus <michael.albinus@gmx.de> | |
| Tue, 28 Jun 2022 12:40:52 +0000 (14:40 +0200) | ||
| commit | a8e72eb0e26b6671df4ef8585da38e675b15745f | |
| tree | 25479e0ef005a10efc9b74fe3aa072356009cf1d | tree | snapshot |
| parent | 091b22cb123c437324bd64c5b7d9d2596da4264c | commit | diff |
| etc/NEWS | diff | blob | history |