comparison make-dist @ 74810:1a614886e425

** Implement new Info index format. Done.
author Chong Yidong <cyd@stupidchicken.com>
date Fri, 22 Dec 2006 19:49:39 +0000
parents ddcbd2c1b70d
children 3d45362f1d38 f1d13e615070
comparison
equal deleted inserted replaced
74809:2ae1c7a27a0a 74810:1a614886e425