Fabian Boehm e551f93f6d docs/set: Don't hide -u so much
It's fine if it doesn't show up in the synopsis above, but putting it
under "Notes" is just too awkward.

It's a short option that exists, and so it should be documented.
2022-11-10 11:34:50 +01:00
..
2022-11-10 11:34:50 +01:00
2022-09-17 21:31:06 +08:00
2022-10-20 19:33:57 +02:00
2022-11-09 13:01:09 -06:00
2022-01-09 23:47:58 +08:00