diff options
| author | tv <tv@krebsco.de> | 2017-07-13 23:39:48 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2017-07-13 23:39:48 +0200 |
| commit | c213968c44befe32f115ec0122accebdabd89582 (patch) | |
| tree | c7a459fe6132d968fc7d946cc120cde0a9a4d2d0 /makefu/5pkgs/devpi | |
| parent | bc6c6a3164d31141f39333914c1b15ff261e7859 (diff) | |
shell: support --user
Diffstat (limited to 'makefu/5pkgs/devpi')
0 files changed, 0 insertions, 0 deletions