diff make/linux/platform_ppc64 @ 19137:bf6eed01c1ef

Merge.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Wed, 04 Feb 2015 21:29:52 +0100
parents faf0c78e906b
children
line wrap: on
line diff