diff configure.in @ 63526:80bd8eddac37

(Instrumenting): Eliminate duplicate link. (Specification List): Replace references to "below", referring to a later node, with one @ref to that node.
author Luc Teirlinck <teirllm@auburn.edu>
date Thu, 16 Jun 2005 20:30:12 +0000
parents cc61f1c86438
children c53a9463c31a e58cb448e07c 173dee4e2611
line wrap: on
line diff