einfo.adb, einfo.ads (Body_Is_In_ALFA, [...]): get/set for new flag denoting which...
[gcc.git] / COPYING3.LIB
2007-07-17 Nick CliftonCOPYING_v3: New file.