4 Commits

Author	SHA1	Message	Date
cgd	693e99f736	clean up Ids	1995-02-27 12:54:33 +00:00
cgd	ae9172d6cd	specify man pages the new way.	1994-12-22 09:57:51 +00:00
cgd	41006bd47b	rcsids. also, avoid floating point when picking scale value. doesn't ... cost much, only done once.	1994-05-14 06:31:10 +00:00
cgd	da60d30fb3	user-land profiling code.	1994-05-14 06:02:57 +00:00