diff options
author | David Waern <david.waern@gmail.com> | 2012-01-24 02:53:16 +0100 |
---|---|---|
committer | David Waern <david.waern@gmail.com> | 2012-02-04 00:51:24 +0100 |
commit | e044d38e13f82172923dd12b68e6ee7c20f06a8c (patch) | |
tree | 7bf9c99eb8b2ca552502f2a5a1f82bb7eebeab12 /html/haddock-util.js | |
parent | a581f8b2392c31696455ff470f7d46a09c57df2a (diff) |
Fix issues in support for warnings.
* Match against local names only.
* Simplify (it's OK to map over the warnings).
Diffstat (limited to 'html/haddock-util.js')
0 files changed, 0 insertions, 0 deletions