chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f01ab1f) | patch
otter(1): Fix user docs for new CLI, using -g
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 20 May 2021 11:44:56 +0000 (12:44 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 20 May 2021 11:44:56 +0000 (12:44 +0100)
commit58015b4784bb2759118cc2b15b3203e550cb9f73
treee53360480a21747c78a49e1e393b524aced37068tree | snapshot
parentf01ab1f87a14202d8158725380d87d62de89ee5ecommit | diff
otter(1): Fix user docs for new CLI, using -g

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
docs/user.rst diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.