diff options
| author | Edward Z. Yang <ezyang@cs.stanford.edu> | 2017-03-13 03:03:20 -0700 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-03-23 17:20:08 -0400 |
| commit | 26879d9b4a2aba264a10812f2738d4db685d61d1 (patch) | |
| tree | 0ddafd48d8ba8dc3f48a4c764cd35b886836bf77 /haddock-api/resources/html/Ocean.std-theme/plus.gif | |
| parent | 68e531baa35e698d947686b83525871eb33c3730 (diff) | |
Add a field marking if interface is a signature or not.
Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
(cherry picked from commit 930cfbe58e2e87f5a4d431d89a3c204934e6e858)
Diffstat (limited to 'haddock-api/resources/html/Ocean.std-theme/plus.gif')
0 files changed, 0 insertions, 0 deletions