diff Makefile.linux64 @ 44:e5ccda2c06d9 tony

fixed some issues (in a very slightly hacky way) -- need to revisit.
author matthiasm
date Tue, 04 Feb 2014 22:31:26 +0000
parents af0b8a418bf5
children 39cd0e1bac0b 564f80bc0da4
line wrap: on
line diff