Fabian Boehm 465da28f20 docs/commandline: Add more on the -oc/-ct thing
This was the remaining immediately actionable part of #7375.

It's not definitely the last word, but a change here would require a
bigger plan.

Fixes #7375

(cherry picked from commit 0e81d25b369c202cf8e256382104552d4023921e)
2023-10-08 17:15:20 +02:00
..
2023-10-06 18:49:55 +02:00
2022-12-19 19:39:47 +01:00
2023-10-01 10:37:28 +02:00
2023-01-06 18:26:21 +08:00
2022-09-17 21:31:06 +08:00
2023-10-06 18:48:25 +02:00
2023-10-01 10:37:28 +02:00