chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 89a73c9) | patch
otter cli: Add --no-prefs option
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 8 Jun 2021 18:09:25 +0000 (19:09 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 8 Jun 2021 18:10:06 +0000 (19:10 +0100)
commitae2526b93fbca25f179f41f618d8cc4335d338d5
tree54204c68d150266be81330f3a5e48d901c869c23tree | snapshot
parent89a73c987573de2f90695b1661252fdd2e9cdb1ccommit | diff
otter cli: Add --no-prefs option

This saves the user using --prefs /dev/null.

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