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 /graph.js | |
| parent | 947babea725bb9f0cde4a17fd414f71b32741134 (diff) | |
| download | guix-295430f0cfdff1ca517cfa74136b550fecf6efcb.tar guix-295430f0cfdff1ca517cfa74136b550fecf6efcb.tar.gz | |
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 'graph.js')
0 files changed, 0 insertions, 0 deletions