Andreas Hocevar 6cea9a9d9a Avoid dead links ...

Because we remove doclets that are not part of the API, there
are cases where linkto will create a link to an undocumented
doclet. We now replace such links with the longname of the
doclet.

2014-05-03 12:41:52 +02:00

12 KiB

Raw Blame History

View Raw