Mon, 08 Aug 2011 10:30:52 -0700 | Mike Sullivan | 7073736 need to turn _ into - | file | diff | annotate |
Tue, 05 Jul 2011 20:59:09 -0700 | Norm Jacobs | 7062891 text/texinfo delivers /usr/info, should be /usr/share/info | file | diff | annotate |
Wed, 11 May 2011 16:25:10 -0700 | Norm Jacobs | 7017805 texinfo should move to userland (add texi2html) | file | diff | annotate |
Mon, 09 May 2011 18:25:46 -0700 | Norm Jacobs | 7017805 texinfo should move to userland | file | diff | annotate |