Cosmetic fix.
authorkaoru <kaoru>
Fri, 9 Nov 2007 23:16:45 +0000 (23:16 +0000)
committerkaoru <kaoru>
Fri, 9 Nov 2007 23:16:45 +0000 (23:16 +0000)
commit588fed680d08ba6017f217463fab249d85f3a3b4
tree0b9ccfe54ca53e8c5bab3fac3b10e53ade6229f2
parent76511df312d167b04abcd24943a870717aaa16f0
Cosmetic fix.
utils/ptexinfmt.el