diff options
| author | Łukasz Hanuszczak <lukasz.hanuszczak@gmail.com> | 2015-08-18 21:07:06 +0200 |
|---|---|---|
| committer | Łukasz Hanuszczak <lukasz.hanuszczak@gmail.com> | 2015-08-22 23:40:27 +0200 |
| commit | 8efa6cbc72bbdad8dceb06896f8c1e7a90ab6c6a (patch) | |
| tree | e488e7de88b3b37c77f225e859e84321e70e3e0a /haddock-api/resources/html/Ocean.std-theme/plus.gif | |
| parent | bb7d45db2b79f310ab8c2601b47399d5ac69e085 (diff) | |
Adapt HTML test runner to use new ignoring functionality.
Diffstat (limited to 'haddock-api/resources/html/Ocean.std-theme/plus.gif')
0 files changed, 0 insertions, 0 deletions