Current CVS coredumps (Lars)

[John Levon]

clicking on navigate menu when there are figures  (e.g. userguide)
crashes

john

-- 
"Saying that taste is just personal preference is a good way to prevent
disputes. The trouble is, it's not true."
        - Paul Graham