diff configure1.in @ 11982:a88f862b3927

(revert-buffer): Save after-revert-hook (both local and global values) before reverting, and run the saved values at the end.
author Karl Heuer <kwzh@gnu.org>
date Mon, 29 May 1995 06:59:26 +0000
parents c1e70445780e
children
line wrap: on
line diff