diff man/makefile.w32-in @ 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 34c75d68e3b4
children b99acc9121ba 146cd8369025
line wrap: on
line diff