Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
[patch] Add --{en,dis}able-tips configure options
0001-Add-disable-tips-configure-option.patch (text/plain), 1.88 KB, created by Sebastian Pipping on 2009-10-24 15:45:50 UTC
(hide)
 
Creator: Sebastian Pipping
Created: 2009-10-24 15:45:50 UTC
Size: 1.88 KB
Actions: View | Diff
Attachments on bug 290364: 208145