diff admin/make-announcement @ 62518:88b93ce112d1

(compilation-finish-function): Mark obsolete.
author Richard M. Stallman <rms@gnu.org>
date Thu, 19 May 2005 15:38:27 +0000
parents 695cf19ef79e
children 53c1af431f97 375f2633d815
line wrap: on
line diff