Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
[patch] replace gawk by awk
0001-Avoid-using-gawk-where-generic-awk-is-enough.patch (text/plain), 1.57 KB, created by Christoph Junghans (RETIRED) on 2013-02-10 20:00:08 UTC
(hide)
 
Creator: Christoph Junghans (RETIRED)
Created: 2013-02-10 20:00:08 UTC
Size: 1.57 KB
Actions: View | Diff
Attachments on bug 456690: 338548