diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2021-02-08 12:54:33 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2021-02-08 12:54:33 -0500 |
| commit | e57d82dde105ffbfcb27ab261041c97b4dd0150a (patch) | |
| tree | e4716c076ef5f05d63235bbf475f939fa1ed402f /doc/conf.py | |
| parent | b995bfe84f9766e23ff78d7ccd520ec7d8cdbebc (diff) | |
| parent | 4f1a309700106b62831309931e449a603093f521 (diff) | |
Merge remote-tracking branch 'upstream/ghc-head' into ghc-head
Diffstat (limited to 'doc/conf.py')
0 files changed, 0 insertions, 0 deletions