diff options
Diffstat (limited to 'gnattools/ChangeLog')
| -rw-r--r-- | gnattools/ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gnattools/ChangeLog b/gnattools/ChangeLog index c9685f81db2..99cb698341e 100644 --- a/gnattools/ChangeLog +++ b/gnattools/ChangeLog @@ -1,3 +1,8 @@ +2008-06-07 Joseph Myers <joseph@codesourcery.com> + + * configure.ac (xscale*-wrs-vx*, xscale*-wrs-coff): Remove. + * configure: Regenerate. + 2008-05-20 Arnaud Charlet <charlet@adacore.com> * Makefile.in (GNATTOOLS2_FILES): Replaced by common-tools target |