diff options
author | Ludovic Courtès <ludo@gnu.org> | 2018-12-21 22:02:16 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2018-12-21 23:50:13 +0100 |
commit | 295430f0cfdff1ca517cfa74136b550fecf6efcb (patch) | |
tree | cc156f1df87cda6974ca89cc9517a6f34f78960f /gnu | |
parent | 947babea725bb9f0cde4a17fd414f71b32741134 (diff) | |
download | guix-295430f0cfdff1ca517cfa74136b550fecf6efcb.tar.gz guix-295430f0cfdff1ca517cfa74136b550fecf6efcb.zip |
doc: '--search' is case-insensitive.
Suggested by Chris Marusich <cmmarusich@gmail.com>.
* doc/guix.texi (Invoking guix package): Mention that --search is
case-insensitive.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions