Module Name: src Committed By: christos Date: Sat Jan 9 01:13:42 UTC 2016
Modified Files:
src/tools/gmp: Makefile
Log Message:
Save a couple of dollars now that make is fixed.
To generate a diff of this commit:
cvs rdiff -u -r1.2 -r1.3 src/tools/gmp/Makefile
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
