diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2017-03-25 09:38:07 +0100 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2017-03-25 09:44:32 +0100 |
| commit | a69fc2da16207068ae23d56bf160c7b645bbc8cb (patch) | |
| tree | 7f6f6b9d0575c44101411c975dfde3b155180745 /dev-ada | |
| parent | games-puzzle/kiki: Remove last-rited pkg (diff) | |
| download | gentoo-a69fc2da16207068ae23d56bf160c7b645bbc8cb.tar.gz gentoo-a69fc2da16207068ae23d56bf160c7b645bbc8cb.tar.bz2 gentoo-a69fc2da16207068ae23d56bf160c7b645bbc8cb.zip | |
dev-util/jenkins-bin: Remove old, last-rited version, #607932
Diffstat (limited to 'dev-ada')
0 files changed, 0 insertions, 0 deletions