Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
[patch] || die instead of | die
gummi.diff (text/plain), 475 bytes, created by Simon Levermann on 2013-12-01 19:22:03 UTC
(hide)
 
Creator: Simon Levermann
Created: 2013-12-01 19:22:03 UTC
Size: 475 bytes
Actions: View | Diff
Attachments on bug 493056: 364356 | 364360