Sybren A. Stüvel 06f2a2bc29 Rename cli command to exec and document it
The `cli` word, to me, implies too much that it's run via a shell, which
it isn't. Renaming to `exec` resolves that.
2023-10-31 10:17:16 +01:00
..
2023-10-27 13:11:39 +02:00
2023-10-27 13:11:39 +02:00
2023-08-14 16:00:09 +02:00
2023-08-14 16:00:09 +02:00
2023-08-14 16:00:09 +02:00
2023-08-14 16:00:09 +02:00