lyx CVS check ins?

[Amir Karger]

I didn't get any mail about Mike's lyxdoc CVS checkins. In fact, I think I
may not have gotten a couple previous ones either. Is there no cvslog
equivalent for lyxdoc?

-Amir