Added gnu0 platform to setupext.py (Benjamin Drung)
Authored by: efiring 2010-02-06
Parent: [r8114]
Child: [r8116]