diff configure.in @ 71852:81b8b2bb63de

(edebug-instrument-function): Err if find-function-noselect gives no position.
author Richard M. Stallman <rms@gnu.org>
date Wed, 12 Jul 2006 16:04:23 +0000
parents 3708db32ecd4
children a2bb452ff214 b19aaf4ab0ee
line wrap: on
line diff