Fix.
authorKatsumi Yamaoka <yamaoka@jpl.org>
Wed, 10 Oct 2007 00:25:45 +0000 (00:25 +0000)
committerKatsumi Yamaoka <yamaoka@jpl.org>
Wed, 10 Oct 2007 00:25:45 +0000 (00:25 +0000)
commit608ae7ab107823bb8c392029a68fee58d59cf048
tree25f8101f829c15996be3fd784b6b1aecfd5def11
parent293d02fec0bb9ec94a749b19d537aeaa83db38fe
Fix.
texi/ChangeLog