fix option formatting (#15591)

This commit is contained in:
n5m
2020-10-15 23:43:20 +00:00
committed by GitHub
parent a43202ea57
commit b50a0ee95c

View File

@@ -35,7 +35,7 @@ To choose the memory management strategy use the ``--gc:`` switch.
It offers deterministic performance for `hard realtime`:idx: systems. Reference cycles
cause memory leaks, beware.
- ``--gc:orc``. Same as ``-gc:arc`` but adds a cycle collector based on "trial deletion".
- ``--gc:orc``. Same as ``--gc:arc`` but adds a cycle collector based on "trial deletion".
Unfortunately that makes its performance profile hard to reason about so it is less
useful for hard realtime systems.