diff Makefile.linux64 @ 148:e3f53fac06c3 memory

Make default consistent with reality
author Chris Cannam
date Wed, 17 May 2017 15:55:29 +0100
parents 9287a83b1243
children 2e6911badde9
line wrap: on
line diff