Fix last commit.
authorKatsumi Yamaoka <yamaoka@jpl.org>
Thu, 24 Nov 2011 10:40:51 +0000 (10:40 +0000)
committerKatsumi Yamaoka <yamaoka@jpl.org>
Thu, 24 Nov 2011 10:40:51 +0000 (10:40 +0000)
commitb814a3a3fe75480690091acefbaf80d916eb4f1b
tree6de72d1e5e5e8930e36559355ebd22e7321220c4
parent8bde9274acbf83d288a9c1b57af9403e32bc612d
Fix last commit.
texi/ChangeLog