diff src/sink11mask.h @ 16042:18414e324084

(compilation-finish-functions): New variable. (compilation-handle-exit): Run compilation-finish-functions.
author Richard M. Stallman <rms@gnu.org>
date Sun, 01 Sep 1996 20:23:30 +0000
parents 3165b2697c78
children
line wrap: on
line diff