| commit | 2d138c7fc570d827de68db91a81b173edb103942 | |
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Wed, 7 Jan 2015 10:24:46 +0000 (7 10:24 +0000) | ||
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Wed, 7 Jan 2015 10:24:46 +0000 (7 10:24 +0000) | ||
| tree | a651ab6a8910f0eadaa57857ed162d057cb3de14 | treesnapshot (tar.gz zip) |
| parent | e2c7aa50fe37a9ac2d730c26e6aac06aea885431 | commitdiff |
2015-01-07 Johannes Kanig <kanig@adacore.com>
* lib-xref-spark_specific.adb (Collect_SPARK_Xrefs): Skip unneeded
cross ref files.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@219292 138bc75d-0d04-0410-961f-82ee72b054a4
* lib-xref-spark_specific.adb (Collect_SPARK_Xrefs): Skip unneeded
cross ref files.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@219292 138bc75d-0d04-0410-961f-82ee72b054a4
| gcc/ada/ChangeLog | diffblobblamehistory | |
| gcc/ada/lib-xref-spark_specific.adb | diffblobblamehistory |