OSDN Git Service

PR other/52438
authorebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 9 Nov 2012 21:42:21 +0000 (21:42 +0000)
committerebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 9 Nov 2012 21:42:21 +0000 (21:42 +0000)
commitc41b3068e68d298654ba4430bb43fec8c720c82b
treeaa04d01d2ca367751e298c0c58a0d77c496fcdef
parent48fd730dd854ef287af51083a73285c7c170c7a4
PR other/52438
* s-taspri-lynxos.ads: Delete.
* s-osinte-kfreebsd-gnu.ads: Change license to GPL V3+.
* s-tpopsp-rtems.adb: Likewise.
* s-osinte-rtems.adb: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/gcc-4_7-branch@193376 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/s-osinte-kfreebsd-gnu.ads
gcc/ada/s-osinte-rtems.adb
gcc/ada/s-taspri-lynxos.ads [deleted file]
gcc/ada/s-tpopsp-rtems.adb