diff configure.in @ 53145:a0151f86f01e

Remove grep-use-compilation-buffer defcustom.
author Kim F. Storm <storm@cua.dk>
date Sun, 23 Nov 2003 22:50:48 +0000
parents b1025973e761
children bebf0e828f3e
line wrap: on
line diff