| de | ISO_ -> ISO rename | 2001-06-11 02:39:07 +00:00 | 
		
			
			
			
			
				| ja | Merge the changes in the English version. | 2001-09-07 11:26:28 +00:00 | 
		
			
			
			
			
				| share | Add 01:57 through 01:59 | 2001-09-06 21:40:49 +00:00 | 
		
			
			
			
			
				| tools | Remove excess vertical whitespace. | 2001-08-31 17:39:07 +00:00 | 
		
			
			
			
			
				| Makefile | fix `make obj': | 2001-04-25 18:01:30 +00:00 |