diff options
| author | tv <tv@krebsco.de> | 2017-09-19 20:59:08 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2017-09-19 21:06:22 +0200 |
| commit | 16e6046544378bd5cdac73a9099b1d9d22a712cb (patch) | |
| tree | abe58513528fdd6a60f585a6cdb92f3e5e084ef3 /shell.nix | |
| parent | ab7e0c879cc0657ea7e25eb95ab89473f38c5507 (diff) | |
withGetopt: support short options
Diffstat (limited to 'shell.nix')
0 files changed, 0 insertions, 0 deletions