]>
author | Michael Albinus <michael.albinus@gmx.de> | |
Mon, 22 May 2023 10:20:44 +0000 (12:20 +0200) | ||
committer | Michael Albinus <michael.albinus@gmx.de> | |
Mon, 22 May 2023 10:20:44 +0000 (12:20 +0200) | ||
commit | 504ef25ef3616d9ea2845d4d040a533ee70309cf | |
tree | 2773b02656795f188f344a7ef4ebc00633237344 | tree | snapshot |
parent | d6fb868cdd33af642ff50c62d526d6b4cb44b6b6 | commit | diff |
etc/NEWS | diff | blob | history |