diff options
| author | Alan Zimmerman <alan.zimm@gmail.com> | 2021-01-23 22:57:44 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-23 22:57:44 +0000 |
| commit | 44cb750b563b303195cd01fae5db97b5f16382cf (patch) | |
| tree | 0f4d772926a7296d926244cf1eea977c3cae84e2 /doc/Makefile | |
| parent | 0952d94a2e30a3e7cddbede811b15fa70f7b9462 (diff) | |
| parent | 7a79b5b7061333868bee5a3273fea5f47fe03350 (diff) | |
Merge pull request #1293 from obsidiansystems/wip/fix-18936
Add `NoGhcTc` instance now that it's not closed
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions