tweak set of rpms for the f12 kernel
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 14 Dec 2009 10:48:27 +0000 (10:48 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 14 Dec 2009 10:48:27 +0000 (10:48 +0000)
commitd0f7746e308dcfd555e4d7603c43210213281649
tree67bf48dafc9bb5e7d859b01157d3928d9a0f787b
parentedf8d2fe300fe63d43063f5a178f9a4362e91ac4
tweak set of rpms for the f12 kernel
f12.mk