diff options
| author | John Ericson <John.Ericson@Obsidian.Systems> | 2021-01-10 19:41:22 +0000 |
|---|---|---|
| committer | John Ericson <John.Ericson@Obsidian.Systems> | 2021-01-22 22:02:02 +0000 |
| commit | 7a79b5b7061333868bee5a3273fea5f47fe03350 (patch) | |
| tree | 181d79e740df77b1fef9fe25696c42826d9881df /doc/Makefile | |
| parent | 911357bcd3eb2f1f03ba06831e07d45595b3a458 (diff) | |
Add `NoGhcTc` instance now that it's not closed
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions