GCH -> GHC (#3252)

This commit is contained in:
Michael Peyton Jones 2022-10-06 09:45:37 +01:00 committed by GitHub
parent 5bf8fe228b
commit b7e59d02e0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,4 +1,4 @@
GCH and Plugin Support
GHC and Plugin Support
======================
.. toctree::