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 e9a7a8be14e..d7333c60b85 100644 --- a/gnattools/ChangeLog +++ b/gnattools/ChangeLog @@ -1,3 +1,8 @@ +2012-03-14 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE> + + * configure.ac (mips-sgi-irix*): Remove. + * configure: Regenerate. + 2011-10-12 Eric Botcazou <ebotcazou@adacore.com> * Makefile.in (LOOSE_WARN): Delete. |