diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-03-19 16:31:20 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-03-19 16:31:20 +0000 |
| commit | e6ae24fa4f4d7564a42981e3415e3450915a3866 (patch) | |
| tree | 22e0379c0f58d394a21ff19982fbaeba29ea359c /libjava/classpath/java/nio/MappedByteBuffer.java | |
| parent | eede3b44e26f5f2c6505580f999f59802f6cd48c (diff) | |
| download | ppe42-gcc-e6ae24fa4f4d7564a42981e3415e3450915a3866.tar.gz ppe42-gcc-e6ae24fa4f4d7564a42981e3415e3450915a3866.zip | |
2012-03-19 Yannick Moy <moy@adacore.com>
* sem_ch6.adb (Check_Subprogram_Contract): Do not emit warnings
on trivially True or False postconditions and Ensures components
of contract-cases.
2012-03-19 Robert Dewar <dewar@adacore.com>
* gnat_ugn.texi: Fix index entry for -gnatei (now we have
ug_words entry).
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@185527 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libjava/classpath/java/nio/MappedByteBuffer.java')
0 files changed, 0 insertions, 0 deletions
