From 1e4d267ce711def6722fcb321f77af3b6c422fac Mon Sep 17 00:00:00 2001 From: Julian Mutter Date: Tue, 22 Apr 2025 21:25:44 +0200 Subject: [PATCH] delete lib --- lib/module/default.nix | 15 --------------- 1 file changed, 15 deletions(-) delete mode 100644 lib/module/default.nix diff --git a/lib/module/default.nix b/lib/module/default.nix deleted file mode 100644 index 8e0a537..0000000 --- a/lib/module/default.nix +++ /dev/null @@ -1,15 +0,0 @@ -{ lib, ... }: -with lib; -rec { - mkOpt = - type: default: description: - mkOption { inherit type default description; }; - - mkOpt' = type: default: mkOpt type default null; - - mkBoolOpt = mkOpt types.bool; - - mkBoolOpt' = mkOpt' types.bool; - - mkEnableOpt = mkBoolOpt' false; -}