ptexinfmt.el; Fix last change master
authoryamaoka <yamaoka>
Thu, 12 Apr 2012 03:08:06 +0000 (03:08 +0000)
committeryamaoka <yamaoka>
Thu, 12 Apr 2012 03:08:06 +0000 (03:08 +0000)
commit6417feb1562e27e7c923ed470cf63760a553d46d
treed6ce1f4b630464921e80df3985c17fc1d7ff907e
parent8a978e488d26b830d08c57250c6393120958e789
ptexinfmt.el; Fix last change
utils/ptexinfmt.el