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 /common | |
| parent | bd85aba84475dd956af21c461c44a584958099d1 (diff) | |
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 'common')
0 files changed, 0 insertions, 0 deletions