diff options
| author |   Agostino Sarubbo <ago@gentoo.org> | 2011-12-15 20:40:48 +0000 |
|---|---|---|
| committer | Agostino Sarubbo <ago@gentoo.org> | 2011-12-15 20:40:48 +0000 |
| commit | 1bfb268f8e89081157276fff92114ee9f4358daa (patch) | |
| tree | 01f0a1d4508965d8be479f416db8e0f5ee26e155 /media-plugins | |
| parent | Remove broken version (diff) | |
| download | gentoo-2-1bfb268f8e89081157276fff92114ee9f4358daa.tar.gz gentoo-2-1bfb268f8e89081157276fff92114ee9f4358daa.tar.bz2 gentoo-2-1bfb268f8e89081157276fff92114ee9f4358daa.zip | |
Added '|| die' where missing, wrt bug #393287
(Portage version: 2.1.10.40/cvs/Linux i686)
Diffstat (limited to 'media-plugins')
0 files changed, 0 insertions, 0 deletions