diff man/info.texi @ 4868:0dd76c7b7846

Merge.
author Mike Sperber <sperber@deinprogramm.de>
date Mon, 18 Jan 2010 08:48:09 +0100
parents 20ae8821c23d
children e82f5b7010fe
line wrap: on
line diff