comparison make-dist @ 97777:01cc14db5be2

(vc-workfile-unchanged-p): If the checkout time is not the same as the last modification time, fall back on the backend-specific check.
author Chong Yidong <cyd@stupidchicken.com>
date Wed, 27 Aug 2008 20:39:33 +0000
parents f13d2ef47961
children 9419b837e9c6
comparison
equal deleted inserted replaced
97776:c3601a4165fc 97777:01cc14db5be2