comparison make-dist @ 41105:1a2e7bf768d6

(uninstall): Fix previous change.
author Pavel Janík <Pavel@Janik.cz>
date Thu, 15 Nov 2001 21:55:21 +0000
parents 80822bf12d5e
children 1daffd332bcd
comparison
equal deleted inserted replaced
41104:2ad569e99f97 41105:1a2e7bf768d6