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/Ocean.std-theme/plus.gif | |
| 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/Ocean.std-theme/plus.gif')
0 files changed, 0 insertions, 0 deletions