 d3d8c30c2e
			
		
	
	
		d3d8c30c2e
		
	
	
	
	
		
			
			. rename minix malloc sources to minix-* so Makefile
    references aren't ambiguous
  . throw out malloc source file copies in libminc
  . make libminc use phkmalloc instead of minix malloc (slightly faster)
		
	
 d3d8c30c2e
			
		
	
	
		d3d8c30c2e
		
	
	
	
	
		
			
			. rename minix malloc sources to minix-* so Makefile
    references aren't ambiguous
  . throw out malloc source file copies in libminc
  . make libminc use phkmalloc instead of minix malloc (slightly faster)