]>
author | Michael Albinus <michael.albinus@gmx.de> | |
Thu, 18 Jan 2018 14:19:47 +0000 (15:19 +0100) | ||
committer | Michael Albinus <michael.albinus@gmx.de> | |
Thu, 18 Jan 2018 14:19:47 +0000 (15:19 +0100) | ||
commit | ebc1eea87b1309544ccb1a8a3ce53698cc2355d6 | |
tree | 2e6b5010bcd897b739b718877ffe4dc09adac891 | tree | snapshot |
parent | 70a4f9ee21820381ead2bfe5f68e6cbf1e1e2dfe | commit | diff |
doc/misc/message.texi | diff | blob | history |