diff oldXMenu/X10.h @ 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 e8a3fb527b77
children ce127a46b1ca d04d8ccb3c41 c5406394f567
line wrap: on
line diff