diff options
| author | tv <tv@shackspace.de> | 2015-07-23 00:37:21 +0200 |
|---|---|---|
| committer | tv <tv@shackspace.de> | 2015-07-23 00:37:21 +0200 |
| commit | 504b1b90e809934a01357450ccdf35c4e4afc74d (patch) | |
| tree | 2b6a539ad2a9f3c4d4b2cf24034cea7e239acb51 /2configs/tv/git-public.nix | |
| parent | 14ac6d3bba12f07bd8aa79221b9c64469fe03046 (diff) | |
* tv identity: define type harder
Diffstat (limited to '2configs/tv/git-public.nix')
0 files changed, 0 insertions, 0 deletions