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 | nixlib-3bb18c68d2b767e53f3f9d90b310ede145315726.tar nixlib-3bb18c68d2b767e53f3f9d90b310ede145315726.tar.gz nixlib-3bb18c68d2b767e53f3f9d90b310ede145315726.tar.bz2 nixlib-3bb18c68d2b767e53f3f9d90b310ede145315726.tar.lz nixlib-3bb18c68d2b767e53f3f9d90b310ede145315726.tar.xz nixlib-3bb18c68d2b767e53f3f9d90b310ede145315726.tar.zst nixlib-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