diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2022-04-29 10:05:54 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2022-04-29 10:05:54 -0400 |
| commit | 00d2914e627b6b461c89b27c7a2de32382691b06 (patch) | |
| tree | 21b70ec97f4c9ecd2f802a77a72e70de9405bc24 /doc/index.rst | |
| parent | 7a10420bd523dfe1eebdb337492917f7bd4cb433 (diff) | |
| parent | 57dff69ee281a0b2b63475b3127822383fd51265 (diff) | |
Merge remote-tracking branch 'origin/ghc-head' into ghc-9.4
Diffstat (limited to 'doc/index.rst')
| -rw-r--r-- | doc/index.rst | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/index.rst b/doc/index.rst index 0d1b8b48..f370e42f 100644 --- a/doc/index.rst +++ b/doc/index.rst @@ -12,6 +12,7 @@ Contents: intro invoking markup + common-errors multi-components |