comparison configure1.in @ 12932:00ee215f022e

(ediff-profile): Use make-local-hook and add and remove hooks locally.
author Richard M. Stallman <rms@gnu.org>
date Tue, 22 Aug 1995 20:27:05 +0000
parents c1e70445780e
children
comparison
equal deleted inserted replaced
12931:30dad6bfce63 12932:00ee215f022e