diff build-ins.in @ 12566:844b502ac6d0

(vc-backend-merge-news): Force to refetch the properties after the merge.
author Karl Heuer <kwzh@gnu.org>
date Mon, 17 Jul 1995 23:04:30 +0000
parents 1541c518f769
children
line wrap: on
line diff