diff options
| author | tv <tv@krebsco.de> | 2017-09-19 21:00:32 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2017-09-19 21:06:22 +0200 |
| commit | 3005faecd4f1bbd7fc8d001e8f57d5ac8b38d462 (patch) | |
| tree | 78ff65cfb3e0e72f06cd73e7e80bce25c4d1a6dc /krebs/source.nix | |
| parent | 16e6046544378bd5cdac73a9099b1d9d22a712cb (diff) | |
shell: use withGetopts for parse-target
Diffstat (limited to 'krebs/source.nix')
0 files changed, 0 insertions, 0 deletions