diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-02-25 11:27:43 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-02-25 11:27:43 +0000 |
| commit | 2e8a4fd87fe502874fe7a0462f1c3a86252e69a7 (patch) | |
| tree | dd816c2937624623e85874d087e2ea9c18565a90 /maintainer-scripts/ChangeLog | |
| parent | 8cf5159e725103736b902f931a883a84edd0ff07 (diff) | |
* update_web_docs_svn: Add -I gcc/gcc/ada/doc/gnat_ugn for gnat_ugn
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@220961 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'maintainer-scripts/ChangeLog')
| -rw-r--r-- | maintainer-scripts/ChangeLog | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/maintainer-scripts/ChangeLog b/maintainer-scripts/ChangeLog index 0485bdf0bd1..456a9138387 100644 --- a/maintainer-scripts/ChangeLog +++ b/maintainer-scripts/ChangeLog @@ -1,3 +1,7 @@ +2015-02-25 Arnaud Charlet <charlet@adacore.com> + + * update_web_docs_svn: Add -I gcc/gcc/ada/doc/gnat_ugn for gnat_ugn + 2015-02-06 David Malcolm <dmalcolm@redhat.com> PR jit/64257 |