John Levon Tue, 11 Mar 2003 16:30:58 -0800
This is never generated. From whence did it come (i.e. should lyx2lyx discard it ?)
john
