Fix previous commit.
authorKatsumi Yamaoka <yamaoka@jpl.org>
Thu, 6 Apr 2006 22:17:37 +0000 (22:17 +0000)
committerKatsumi Yamaoka <yamaoka@jpl.org>
Thu, 6 Apr 2006 22:17:37 +0000 (22:17 +0000)
commit80949a8094ed7be18dcaa9ccb943a41014663996
tree6323a2f54f480c5128dedd3bdd7f9a45dfa5280a
parent151078a2429c79501910760b40c15b26898c232c
Fix previous commit.
texi/ChangeLog