diff options
| author | tv <tv@krebsco.de> | 2017-10-17 20:06:16 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2017-10-17 20:06:16 +0200 |
| commit | 27d37b22995c469048e2ae4dc8ff46f49b3542d7 (patch) | |
| tree | 2222cbffaf4c7ac053048635727e9335ffe22b39 /makefu/2configs/tools/extra-gui.nix | |
| parent | a15736cbb0f23e74b47decc363a4cbf45850a0c4 (diff) | |
withGetopt: export WITHGETOPT_ORIG_ARGS
Diffstat (limited to 'makefu/2configs/tools/extra-gui.nix')
0 files changed, 0 insertions, 0 deletions