diff man/anti.texi @ 73445:59e895845146

(vc-switch-backend): Try to be more careful with unwanted side-effect due to mixing various backends's file properties.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Fri, 20 Oct 2006 07:58:11 +0000
parents 80778fbed0d1
children abd25d5e5b63 858cb33ae39d
line wrap: on
line diff