]>
author | Michael Albinus <michael.albinus@gmx.de> | |
Fri, 16 Nov 2018 12:47:51 +0000 (13:47 +0100) | ||
committer | Michael Albinus <michael.albinus@gmx.de> | |
Fri, 16 Nov 2018 12:47:51 +0000 (13:47 +0100) | ||
commit | f7cbe83e3b37d2faa56947490e8eaa348565b1af | |
tree | a5e792a0fcd1ef23d8993632fd62d983d1ae2ade | tree | snapshot |
parent | cf7f44d07ed643848b89b03e517efe913250d2ef | commit | diff |
etc/NEWS | diff | blob | history |