* utils/ptexinfmt.el (ptexinfmt-disable-broken-notice-flag):
authorkaoru <kaoru>
Mon, 30 Oct 2000 02:33:12 +0000 (02:33 +0000)
committerkaoru <kaoru>
Mon, 30 Oct 2000 02:33:12 +0000 (02:33 +0000)
commit97c6aa71847f233886cc2f1c4a1eb6f03456364d
tree6c68a957885419696f8d9da08d613000ae3dffbf
parentd8eaa4c2ec92abe8671f3829253442ea7e3bde37
* utils/ptexinfmt.el (ptexinfmt-disable-broken-notice-flag):
Renamed from `ptexinfmt-disable-broken-notice'.
ChangeLog
utils/ptexinfmt.el