| author | Michael Albinus <michael.albinus@gmx.de> | |
| Mon, 14 May 2018 15:06:58 +0000 (17:06 +0200) | ||
| committer | Michael Albinus <michael.albinus@gmx.de> | |
| Mon, 14 May 2018 15:06:58 +0000 (17:06 +0200) | ||
| commit | 8fe07bbe310beea1c51b8f59c9fbac5fc466913b | |
| tree | 3e22d70fdf304bd451a4bba30fd9603827dda293 | tree | snapshot |
| parent | b01e6dd7b202fd9fbed8f1afa6cb6065ed85ff66 | commit | diff |
| etc/NEWS | diff | blob | history |