On Tue, Aug 13, 2002 at 04:14:04PM +0300, Dekel Tsur wrote: > > > Log message: > > > old ERT insets should just be ignored > > > > Eh ? Isn't this serious data loss ? > > This just means that I convert \begin_inset ERT <text> \end_inset > to <text>.
OK. Thanks
john
--
"It is unbecoming for young men to utter maxims."
- Aristotle
