diff options
| author | tv <tv@shackspace.de> | 2015-10-01 14:59:58 +0200 |
|---|---|---|
| committer | tv <tv@shackspace.de> | 2015-10-01 14:59:58 +0200 |
| commit | 24326956780833540fd65dd0cb750c1071fa51b9 (patch) | |
| tree | fdf2a14c654d2c4e5154e8d7742557f8bbb3c4bc /makefu/2configs/hw/tp-x220.nix | |
| parent | 3384dd0a5578cc3a26dd076669dd264f5ae9f008 (diff) | |
krebs lib.types: deprecate host.infest.{addr,port}
Diffstat (limited to 'makefu/2configs/hw/tp-x220.nix')
0 files changed, 0 insertions, 0 deletions