]>
author | Lars Ingebrigtsen <larsi@gnus.org> | |
Sat, 3 Aug 2019 17:19:17 +0000 (19:19 +0200) | ||
committer | Lars Ingebrigtsen <larsi@gnus.org> | |
Sat, 3 Aug 2019 17:19:17 +0000 (19:19 +0200) | ||
commit | 9fa60c19d0470176b1b49e9d7d4ce8e030e75657 | |
tree | f1781b5590860880b7ba545f24a5d5a5f4745941 | tree | snapshot |
parent | 95d2250bcf762296ec88e78d88f0c3b310b119ae | commit | diff |
doc/misc/ido.texi | diff | blob | history |