diff options
| author | makefu <github@syntax-fehler.de> | 2015-07-26 18:11:09 +0200 |
|---|---|---|
| committer | makefu <github@syntax-fehler.de> | 2015-07-26 18:11:09 +0200 |
| commit | c355a1d86250aca3f5757082ddd392ef867ca4ee (patch) | |
| tree | a9a596081878d3117e625b9ce164c82339e35812 /4lib/krebs/types.nix | |
| parent | f338d3d4d15ff29b3048b4f89716a8aa1a19f21b (diff) | |
| parent | cea33984057136ea0deac369650e490f420b5445 (diff) | |
Merge remote-tracking branch 'cd/master'
Diffstat (limited to '4lib/krebs/types.nix')
| -rw-r--r-- | 4lib/krebs/types.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/4lib/krebs/types.nix b/4lib/krebs/types.nix index ca92c6900..3d3d75a65 100644 --- a/4lib/krebs/types.nix +++ b/4lib/krebs/types.nix @@ -83,6 +83,9 @@ types // rec { user = submodule { options = { + mail = mkOption { + type = str; # TODO retiolum mail address + }; name = mkOption { type = str; # TODO }; |