diff options
| author | Christian Grothoff <christian@grothoff.org> | 2023-08-21 17:40:44 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2023-08-21 17:40:49 +0200 |
| commit | 55da53692a6e816d156edda77b22830c382922ea (patch) | |
| tree | 6057d98642f6ef95ff5d98359b16236cd36629c9 /contrib | |
| parent | f6e3a31bb5e2c23da780a7772143e434536c47a0 (diff) | |
-use /home/grothoff instead of ~
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions