comparison make/linux/makefiles/defs.make @ 14034:36d7c19ff005

fixed formatting after renaming
author twisti
date Thu, 27 Feb 2014 11:50:45 -0800
parents f36e073d56a4
children faf0c78e906b
comparison
equal deleted inserted replaced
14033:9d62cf8aa990 14034:36d7c19ff005