diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2019-07-25 17:47:39 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-07-25 17:47:39 +0200 |
commit | 41a52466854ab3a7d4adedc3777c0b0585ef79fe (patch) | |
tree | 010b85f06261261ba1bcbe6881691ff8eadcc593 /doc/manual/command-ref | |
parent | 1fb8e2605ad4779013fc75f6a98362df74af535b (diff) | |
parent | 03addc3b0a79cb7a58ae5651d1915af7383a220c (diff) |
Merge pull request #3008 from matthewbauer/fix-typo
Use $HOME instead of $USER
Diffstat (limited to 'doc/manual/command-ref')
0 files changed, 0 insertions, 0 deletions