diff ChangeLog @ 62518:88b93ce112d1

(compilation-finish-function): Mark obsolete.
author Richard M. Stallman <rms@gnu.org>
date Thu, 19 May 2005 15:38:27 +0000
parents 604df7c8d679
children 49932d5128a9 21eea50897a7 f042e7c0fe20
line wrap: on
line diff