diff man/display.texi @ 41105:1a2e7bf768d6

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