Re: Proposal for adding splay_tree_find (to find elements without updating the nodes).

[Jonathan Wakely]

On 16 March 2015 at 15:54, Jonathan Wakely wrote:
> "DejaGnu" is not meant to be a link, but the wiki automatically treats
> any MixedCase word as a link.

I've fixed that now.