]>
author | Michael Albinus <michael.albinus@gmx.de> | |
Tue, 17 May 2022 15:27:15 +0000 (17:27 +0200) | ||
committer | Michael Albinus <michael.albinus@gmx.de> | |
Tue, 17 May 2022 15:27:15 +0000 (17:27 +0200) | ||
commit | 18b14916a76a1509a0d3450ced5654117cb42489 | |
tree | 3cd4742a0ec209fa58ebc222a5758e5d1b3e8bf2 | tree | snapshot |
parent | 1cf590065d64beea99bff5f9c4b358c94c2d14b0 | commit | diff |
etc/NEWS | diff | blob | history |