diff options
author | alexbiehl <alex.biehl@gmail.com> | 2018-02-06 13:56:17 +0100 |
---|---|---|
committer | alexbiehl <alex.biehl@gmail.com> | 2018-02-06 13:56:17 +0100 |
commit | e870c70cdbe739693c1eacddc42e64106c8ecfdf (patch) | |
tree | 630e1b36f5b49f6d1a65e242e7aa4d0b83404739 /html-test/src/Bug308.hs | |
parent | ffee7f80736f91f0f18c787f093b4ca1ae315afa (diff) |
Hyperlinker: Also link pattern synonym arguments
Diffstat (limited to 'html-test/src/Bug308.hs')
0 files changed, 0 insertions, 0 deletions