]>
author | Michael Albinus <michael.albinus@gmx.de> | |
Sat, 14 Oct 2017 10:52:05 +0000 (12:52 +0200) | ||
committer | Michael Albinus <michael.albinus@gmx.de> | |
Sat, 14 Oct 2017 10:52:05 +0000 (12:52 +0200) | ||
commit | def9715282f71953740e8b92cf6443bfc459dd41 | |
tree | 39d936cb9bc8dce7c3179903d25f47c8a45daaca | tree | snapshot |
parent | 4e59ecc646e88a7a756f1850d92fd2b8780513eb | commit | diff |
etc/NEWS | diff | blob | history |