building for 32bits requires invoking linux32
[infrastructure.git] / logos / inria.ico
2007-02-14 buildcreation - updated after v4 deployment