diff options
| author | tv <tv@krebsco.de> | 2018-09-28 15:18:43 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2018-09-28 15:20:57 +0200 |
| commit | a93aaeecd65843b6daab9c4030862fe859c435f7 (patch) | |
| tree | ee38b6e6d48b5642eff317a0e4ee98ab77e1167e /krebs/default.nix | |
| parent | 4f530d344dc98d1535aa87af640bc1fe049b52e4 (diff) | |
tv gitrepos: move unused stuff to museums
Diffstat (limited to 'krebs/default.nix')
0 files changed, 0 insertions, 0 deletions