diff options
author | Arnaud Charlet <charlet@adacore.com> | 2007-04-30 10:14:24 +0000 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2007-04-30 12:14:24 +0200 |
commit | 4be242bb3b2fe1c9231df01e67f4d6dc2e10c183 (patch) | |
tree | bb69862f03b2f094b5b9a5d8bb268cdf2c94badb /gnattools/ChangeLog | |
parent | a19632d4f9784213e1fb50d04ac8c65263437916 (diff) | |
download | gcc-4be242bb3b2fe1c9231df01e67f4d6dc2e10c183.tar.gz |
re PR ada/28953 (Ada: Documentation for gprmake is missing)
PR ada/28953
* Makefile.in: No longer build gprmake
From-SVN: r124293
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 948b733cf11..d3f4e0608a2 100644 --- a/gnattools/ChangeLog +++ b/gnattools/ChangeLog @@ -1,3 +1,8 @@ +2007-04-30 Arnaud Charlet <charlet@adacore.com> + + PR ada/28953 + * Makefile.in: No longer build gprmake + 2007-03-01 Brooks Moses <brooks.moses@codesourcery.com> * Makefile.in: Add dummy install-pdf target. |