diff make/linux/makefiles/core.make @ 14034:36d7c19ff005

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