diff options
author | David Waern <david.waern@gmail.com> | 2011-11-26 17:01:06 +0100 |
---|---|---|
committer | David Waern <david.waern@gmail.com> | 2011-11-26 17:01:06 +0100 |
commit | 1345132fd141b8d9b12e858ccc0765272f703e49 (patch) | |
tree | af13cc6fca295a35cf8d4d3c8391ebab5f87f83c /html/Ocean.std-theme/plus.gif | |
parent | 3ebdc745d7bc79307986332dc71f3495099b4579 (diff) |
Allow doc comments to link to out-of-scope things (#78).
(A bug that should have been fixed long ago.)
Diffstat (limited to 'html/Ocean.std-theme/plus.gif')
0 files changed, 0 insertions, 0 deletions