diff options
| author | David Waern <david.waern@gmail.com> | 2008-10-02 22:57:25 +0000 |
|---|---|---|
| committer | David Waern <david.waern@gmail.com> | 2008-10-02 22:57:25 +0000 |
| commit | c8c3936189741cab791958c770f421b2682a3087 (patch) | |
| tree | cc5cbb88e99638e3413b491e1f16778a5449b741 /html/plus.gif | |
| parent | b1c69e26222ed21222faa3bfe70d24b7ed514f42 (diff) | |
For source links, get original module from declaration name instead of environment.
Getting it from the environment must have been a remnant from the
times when we were using unqualified names (versions 0.x).
Diffstat (limited to 'html/plus.gif')
0 files changed, 0 insertions, 0 deletions