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