diff options
| author | tv <tv@krebsco.de> | 2017-07-14 00:17:58 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2017-07-14 00:21:02 +0200 |
| commit | 58380c82848c3db0bd6c3d74904153f3464c2098 (patch) | |
| tree | dcefa424c037ef13edba18967143b3290dc739cb /lib/types.nix | |
| parent | c213968c44befe32f115ec0122accebdabd89582 (diff) | |
merge shared into krebs
Diffstat (limited to 'lib/types.nix')
0 files changed, 0 insertions, 0 deletions