comparison make/linux/platform_ppc @ 4231:d713eaf4d288

Renaming
author Christian Wimmer <Christian.Wimmer@Oracle.com>
date Thu, 05 Jan 2012 16:09:47 -0800
parents b92c45f2bc75
children 0f03ff49c720
comparison
equal deleted inserted replaced
4230:b780ecb920c9 4231:d713eaf4d288