diff make-dist @ 88039:e74ef2442a4a

(archive-extract): Use kill-buffer-if-not-modified as exit-action when viewing the buffer.
author Martin Rudalics <rudalics@gmx.at>
date Sun, 27 Jan 2008 22:20:43 +0000
parents 01f002639254
children fa454b3c5b7b c70e45a7acfd
line wrap: on
line diff