search_complete() gets only the name out of @$ref.
authorMike Taylor <mike@miketaylor.org.uk>
Thu, 10 Jun 2010 16:11:17 +0000 (17:11 +0100)
committerMike Taylor <mike@miketaylor.org.uk>
Thu, 10 Jun 2010 16:11:17 +0000 (17:11 +0100)

No differences found