diff options
| author | Alexander Biehl <alexbiehl@gmail.com> | 2017-09-01 13:03:49 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-09-01 13:03:49 +0200 |
| commit | fe4c6c7d2907a79118d836e72c0442d666091524 (patch) | |
| tree | 8d86c3206916bdfb46d8c697b817e7b52cd7874b /html-test/src/GADTRecords.hs | |
| parent | 3e94fb427dce9b23a044ca85b6e066dbc486b5b1 (diff) | |
Make trigger link configurable (#678)
QuickNav: Configurable show/hide trigger
Diffstat (limited to 'html-test/src/GADTRecords.hs')
0 files changed, 0 insertions, 0 deletions