[Ada] Improve handling of SPARK_Mode in generic instances
[gcc.git] / COPYING3
2007-07-17 Nick CliftonCOPYING_v3: New file.