diff man/commands.texi @ 41003:3dcb962aed85

Fix previous change.
author Pavel Janík <Pavel@Janik.cz>
date Tue, 13 Nov 2001 09:39:55 +0000
parents 41ebc22562e0
children ed33a54a268c
line wrap: on
line diff