peter 420160f83d Part two of a repository operation to sort out the libmp/libgmp builds. ... After this commit, you should be able to build libmp and libgmp independently and without being forced to do a make depend first..		1995-11-25 00:14:03 +00:00
..
Makefile	Part two of a repository operation to sort out the libmp/libgmp builds.	1995-11-25 00:14:03 +00:00