| author | Michael Albinus <michael.albinus@gmx.de> | |
| Tue, 24 Dec 2019 09:45:04 +0000 (10:45 +0100) | ||
| committer | Michael Albinus <michael.albinus@gmx.de> | |
| Tue, 24 Dec 2019 09:45:04 +0000 (10:45 +0100) | ||
| commit | 6184aa003f44363e42762031ca368502021f9e7a | |
| tree | 8e88bed7e86d5612312e22d856901af6efd0ab70 | tree | snapshot |
| parent | 51ea32dd1294ef7b8fb14ff6f75cf1616d225901 | commit | diff |
| etc/NEWS | diff | blob | history |