diff options
| author | tv <tv@krebsco.de> | 2019-02-16 19:18:04 +0100 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2019-02-16 19:18:04 +0100 |
| commit | 7ab31ffeb0d074ea7c32697667412e08fc4db99d (patch) | |
| tree | f98a233842357707f94a3fa285bcaa35277aeed4 /makefu/2configs/tools/extra-gui.nix | |
| parent | eef0b6e4790f6cf0773d0dddb730769588146417 (diff) | |
lib.types.filename.check: remove unnecessary ()
Diffstat (limited to 'makefu/2configs/tools/extra-gui.nix')
0 files changed, 0 insertions, 0 deletions