diff man/basic.texi @ 41105:1a2e7bf768d6

(uninstall): Fix previous change.
author Pavel Janík <Pavel@Janik.cz>
date Thu, 15 Nov 2001 21:55:21 +0000
parents 3b40423b9355
children c66f34e7d2cd
line wrap: on
line diff