diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2012-07-14 08:20:28 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2012-07-14 08:20:28 +0000 |
commit | 7c9500e438384c6c0ce478c8c73b3887137ac924 (patch) | |
tree | e2602aaed2ac1f735785ebfe37d7161037dd3dd1 /backend/InterfGraph.v | |
parent | bd85aba84475dd956af21c461c44a584958099d1 (diff) | |
download | compcert-7c9500e438384c6c0ce478c8c73b3887137ac924.tar.gz compcert-7c9500e438384c6c0ce478c8c73b3887137ac924.zip |
Remove the PowerPC/MacOS X port, as MacOS no longer supports PowerPC.
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1980 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'backend/InterfGraph.v')
0 files changed, 0 insertions, 0 deletions