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 34f5ef7..7375dbe 100644 --- a/gnattools/ChangeLog +++ b/gnattools/ChangeLog @@ -1,3 +1,8 @@ +2008-05-13 Arnaud Charlet <charlet@adacore.com> + + PR ada/31808 + * Makefile.in (gnattools-cross): Do not build vxaddr2line + 2008-04-05 Arnaud Charlet <charlet@adacore.com> * Makefile.in: Remove handling of gnatbl. |