diff make-dist @ 70416:522ce5c1839a

(ediff-files, ediff-files3, ediff-merge-files) (ediff-merge-files-with-ancestor): Use add-to-history.
author Kim F. Storm <storm@cua.dk>
date Fri, 05 May 2006 23:36:32 +0000
parents b99080e25b28
children ef43d43a40be 72dea2ff0142
line wrap: on
line diff