diff options
author | Hécate Moonlight <Kleidukos@users.noreply.github.com> | 2021-02-23 12:37:54 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-02-23 12:37:54 +0100 |
commit | f7a9c5a5080e4eb61d2aa89cd0ca0fd300bd6c23 (patch) | |
tree | b0c661e9759b8dc5e44a139a90f887b7061f7fd9 /html-test/src/SectionLabels.hs | |
parent | 7f4bd04962bccf0aaf278722ebe787e61dabf194 (diff) | |
parent | 5a6b3811fe50d0b257e4baa183c9f4ad8e701081 (diff) |
Merge pull request #1349 from Kleidukos/fix-interface-guesstarget-call
Fix the call-site of guessTarget in Interface.hs
Diffstat (limited to 'html-test/src/SectionLabels.hs')
0 files changed, 0 insertions, 0 deletions