diff man/info.texi @ 39438:e0c007911121

Increment version number.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 25 Sep 2001 10:53:12 +0000
parents 9012f11877c1
children d2d0681907f9
line wrap: on
line diff