diff info/COPYING @ 49186:ce4ad428dcab

(compilation-revert-buffer): If buffer has a file, revert it in the normal way.
author Richard M. Stallman <rms@gnu.org>
date Mon, 13 Jan 2003 08:02:47 +0000
parents 707b9ae3f778
children d92149473c34
line wrap: on
line diff