Fixed last change.
authorkaoru <kaoru>
Mon, 3 Jun 2002 20:44:26 +0000 (20:44 +0000)
committerkaoru <kaoru>
Mon, 3 Jun 2002 20:44:26 +0000 (20:44 +0000)
commit1110d458669c9589a2a0d63af9b2d12869746dbe
treecf6d2260a40fe2fd09495953c77090cee1c69670
parent4e0993b4f0e5c3d44e54a40eda6c16241d0dd76e
Fixed last change.
utils/ptexinfmt.el