Thu, 23 Oct 2003 20:33:41 +0000 |
Francesco Potort |
Alias for Francesco Potort?
|
Thu, 23 Oct 2003 13:09:23 +0000 |
Andreas Schwab |
.
|
Thu, 23 Oct 2003 13:09:11 +0000 |
Andreas Schwab |
(clean): Don't remove index.texi.
|
Thu, 23 Oct 2003 13:08:02 +0000 |
Francesco Potort |
Merged Potorti and Potort?since Potorti is just Potort?ith a typo.
|
Thu, 23 Oct 2003 11:42:11 +0000 |
Dave Love |
*** empty log message ***
|
Thu, 23 Oct 2003 11:41:50 +0000 |
Dave Love |
(mail-extr-ignore-single-names): Add :version.
|
Thu, 23 Oct 2003 10:01:32 +0000 |
Andreas Schwab |
Remove support for permuted index and use texi2dvi.
|