diff options
| author | Edward Z. Yang <ezyang@cs.stanford.edu> | 2017-03-22 14:11:25 -0700 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-03-23 17:20:08 -0400 |
| commit | 0567d936e02dcbc41c62b4dd63c7aaafc3383844 (patch) | |
| tree | 1b5995f4488b6c28c8cf8ce2f837e132dcb12738 /html-test/ref/mini_GADTRecords.html | |
| parent | ef93eaac9bc0ca40073763d2e18ced3a51679ead (diff) | |
Render help documentation link next to (signature) in title.
Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
(cherry picked from commit 4eb765ca4205c79539d60b7afa9b7e261a4a49fe)
Diffstat (limited to 'html-test/ref/mini_GADTRecords.html')
0 files changed, 0 insertions, 0 deletions