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.