Pavel Sanda wrote: > i remember some bug that our cache managment stores output of 'date' script...
http://bugzilla.lyx.org/show_bug.cgi?id=3257
Pavel Sanda wrote: > i remember some bug that our cache managment stores output of 'date' script...
http://bugzilla.lyx.org/show_bug.cgi?id=3257