diff make/linux/platform_amd64 @ 14034:36d7c19ff005

fixed formatting after renaming
author twisti
date Thu, 27 Feb 2014 11:50:45 -0800
parents a49a647afe9a
children
line wrap: on
line diff