| author | Michael Albinus <michael.albinus@gmx.de> | |
| Tue, 13 Nov 2018 08:45:42 +0000 (09:45 +0100) | ||
| committer | Michael Albinus <michael.albinus@gmx.de> | |
| Tue, 13 Nov 2018 08:45:42 +0000 (09:45 +0100) | ||
| commit | acee0a8f2052abb9aacb8d782afcc5cd64363f04 | |
| tree | 723f0f24749b4f05c849c316d8642f2321b6c2d9 | tree | snapshot |
| parent | a6ef167b8dbcfbe5e5792d19737957b030597609 | commit | diff |
| etc/NEWS | diff | blob | history |