comparison man/mini.texi @ 39438:e0c007911121

Increment version number.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 25 Sep 2001 10:53:12 +0000
parents 523edbd58655
children de2f745df406
comparison
equal deleted inserted replaced
39437:cd28910ebc9a 39438:e0c007911121