comparison make-dist @ 48204:1ee4b312fef0

(grep-default-command): New fun. (grep): Use it. (compilation-menu-map): New var. (compilation-minor-mode-map, compilation-shell-minor-mode-map): Use it. (compilation-mode-map): Simplify. (compilation-shell-minor-mode, compilation-minor-mode): Use define-minor-mode.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Thu, 07 Nov 2002 19:16:15 +0000
parents f526d32944b1
children 23a1cea22d13
comparison
equal deleted inserted replaced
48203:e953979be3ed 48204:1ee4b312fef0