diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2022-04-25 16:24:31 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2022-04-25 16:24:31 -0400 |
| commit | 70b83bc5fa944f17f1423c4c94a38b82bdfe1ccd (patch) | |
| tree | b0c43a5ac7cf53b4832d1f34ebfa57042a422398 /doc/index.rst | |
| parent | 24208496649a02d5f87373052c430ea4a97842c5 (diff) | |
| parent | 0c19a8847844a4a45b9fe7c115effcec461cfe5c (diff) | |
Merge remote-tracking branch 'upstream/ghc-9.2' into ghc-head
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 |