diff options
| author | tv <tv@krebsco.de> | 2017-09-15 00:33:34 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2017-09-15 00:33:34 +0200 |
| commit | b28dabfc0720578b46fd7664b233a12666fbca0c (patch) | |
| tree | a766f893e53cfb38bc5a9ddcab0b9a68f16641e8 /krebs/source.nix | |
| parent | ab36abc9338b5bf2ffe0b090961ec26be5677663 (diff) | |
shell: use withGetopt
Diffstat (limited to 'krebs/source.nix')
0 files changed, 0 insertions, 0 deletions