diff config.h @ 86:70d7ebeb4523

Erm. Don't throw away -D args.
author David A. Holland
date Mon, 10 Jun 2013 21:37:01 -0400 (2013-06-11)
parents 76c114899f63
children 1e4eef5bf88d
line wrap: on
line diff