diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-10-10 12:26:07 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-10-10 12:26:07 +0000 |
| commit | 056dc9877a5b20e3f9954d49425d5abc98adb21a (patch) | |
| tree | b74e92dafacc02652acb04902f680496d7b0355b /libjava/classpath/lib/gnu/java/net/protocol/https | |
| parent | fb20c371747f4f9a3f5778583c9c0f2541c25c86 (diff) | |
| download | ppe42-gcc-056dc9877a5b20e3f9954d49425d5abc98adb21a.tar.gz ppe42-gcc-056dc9877a5b20e3f9954d49425d5abc98adb21a.zip | |
2013-10-10 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi: Refined_Pre and Refined_Post are now allowed as
assertion identifiers for pragma Assertion_Policy.
* sem_prag.adb (Is_Valid_Assertion_Kind): Add Refined_Pre/Refined_Post
* sem_ch13.adb: Minor reformatting.
2013-10-10 Pascal Obry <obry@adacore.com>
* prj-conf.adb: Code refactoring.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@203361 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libjava/classpath/lib/gnu/java/net/protocol/https')
0 files changed, 0 insertions, 0 deletions
