diff options
| author | Wout Mertens <Wout.Mertens@gmail.com> | 2016-07-26 09:04:10 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-07-26 09:04:10 +0200 |
| commit | 3bb18c68d2b767e53f3f9d90b310ede145315726 (patch) | |
| tree | bd7df167a65233fd368c23a1f1a3413e8f9e8488 /pkgs/os-specific/linux/tiptop | |
| parent | 3badad811c600db9867f15a326efa69898299099 (diff) | |
| parent | fe9cabedf0292a2b09de16e272b968b42c0ac7fe (diff) | |
| download | nixpkgs-3bb18c68d2b767e53f3f9d90b310ede145315726.tar nixpkgs-3bb18c68d2b767e53f3f9d90b310ede145315726.tar.gz nixpkgs-3bb18c68d2b767e53f3f9d90b310ede145315726.tar.bz2 nixpkgs-3bb18c68d2b767e53f3f9d90b310ede145315726.tar.lz nixpkgs-3bb18c68d2b767e53f3f9d90b310ede145315726.tar.xz nixpkgs-3bb18c68d2b767e53f3f9d90b310ede145315726.tar.zst nixpkgs-3bb18c68d2b767e53f3f9d90b310ede145315726.zip | |
Merge pull request #17042 from rasendubi/etc
etc: remove obsolete directories
Diffstat (limited to 'pkgs/os-specific/linux/tiptop')
0 files changed, 0 insertions, 0 deletions