diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2015-12-16 05:40:17 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2015-12-16 17:54:55 +0100 |
| commit | a45a133af1f25ce60a8d1b0750c8f3ce452129d6 (patch) | |
| tree | baf3bfe5bc3d8137ff0090feadf9981d9bc9b664 /doc/Makefile | |
| parent | 85be6fdc7832eae3afd141229c8ac3475da8f542 (diff) | |
Types: Add Outputable[Bndr] DocName instances
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions