Breaking up the glossary index with punctuation and spaces, in response to review <https://github.com/ravenbrook/mps/pull/166#pullrequestreview-1687977425>.

Browse source

...

This commit is contained in:

Richard Brooksby 2023-10-21 09:57:09 +01:00

parent ebdcaaf757

commit b2d0c14356

1 changed files with 578 additions and 568 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download patch file Download diff file Expand all files Collapse all files

1146

mps/manual/source/glossary/index.rst

View file

File diff suppressed because it is too large Load diff