diff options
| author | nzbr <mail@nzbr.de> | 2022-12-19 00:24:17 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-12-19 00:24:17 +0100 |
| commit | 24aa3b45ec1dc475e3606385be3f8aecd8aee8a2 (patch) | |
| tree | 8e902b11a4f2e60366a06ea56858d982ad504479 /modules | |
| parent | 8d295219a6dd48fdd6d45b2ccec1467986911fa8 (diff) | |
Remove redundant `with builtins;`
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
Diffstat (limited to 'modules')
| -rw-r--r-- | modules/version.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/modules/version.nix b/modules/version.nix index 01a8be6..3c6438e 100644 --- a/modules/version.nix +++ b/modules/version.nix @@ -1,5 +1,5 @@ { lib, pkgs, options, config, ... }: -with builtins; with lib; +with lib; { options = with types; { |