diff make-dist @ 95270:4d7bc1390196

(vc-delete-file): Make sure the buffer is deleted and vc-dir buffers are updated.
author Dan Nicolaescu <dann@ics.uci.edu>
date Fri, 23 May 2008 21:38:32 +0000
parents 527d3f141bfc
children 914fd1aed50a
line wrap: on
line diff