comparison man/pgg.texi @ 81047:9f8e1f35816d

Nikolaj Schumacher <n_schumacher at web.de> (tiny change) (compilation-handle-exit): `compilation-finish-function' may change the current buffer.
author Glenn Morris <rgm@gnu.org>
date Wed, 23 May 2007 08:11:59 +0000
parents 88224dc74061
children 02b9a9aa5b0c
comparison
equal deleted inserted replaced
81046:e4d3cd3503d7 81047:9f8e1f35816d