diff etc/edt-user.doc @ 62518:88b93ce112d1

(compilation-finish-function): Mark obsolete.
author Richard M. Stallman <rms@gnu.org>
date Thu, 19 May 2005 15:38:27 +0000
parents 23a1cea22d13
children 23a17af379b1 d7ddb3e565de
line wrap: on
line diff