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 | c021118096479ed15c32d40e7f5f7fc64e81bad1 (patch) | |
| tree | ca56bf04a16baa0e71c7299092b8f29fcad93b42 /4lib/krebs/types.nix | |
| parent | 784929d0015547f2a314651ac67f095aee16c6ca (diff) | |
| parent | 9195e3101718fa255976b18d1513eeda08fee2de (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 ca92c69..3d3d75a 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 }; |