diff options
Diffstat (limited to 'gnattools/ChangeLog')
| -rw-r--r-- | gnattools/ChangeLog | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gnattools/ChangeLog b/gnattools/ChangeLog index ad836eaeb29..34f5ef7c0ac 100644 --- a/gnattools/ChangeLog +++ b/gnattools/ChangeLog @@ -1,3 +1,7 @@ +2008-04-05 Arnaud Charlet <charlet@adacore.com> + + * Makefile.in: Remove handling of gnatbl. + 2007-12-05 Bechir Zalila <bechir.zalila@gmail.com> PR ada/34284 |