]>
author | Robert Pluim <rpluim@gmail.com> | |
Tue, 5 Feb 2019 19:38:39 +0000 (20:38 +0100) | ||
committer | Robert Pluim <rpluim@gmail.com> | |
Wed, 6 Feb 2019 17:59:01 +0000 (18:59 +0100) | ||
commit | 6ed9d0057d9a8ef1331049c55d5df3cc4e02c5f2 | |
tree | 8c30af6678c85d2418c45240605ce99e2ea9a164 | tree | snapshot |
parent | 7fd2ad755e7fa599697648ac4c971e834de75bf3 | commit | diff |
etc/NEWS | diff | blob | history | |
lisp/textmodes/texinfo.el | diff | blob | history |