Latex editor "Delete Aux. Files" -- don't delete PDF file - bug reported by Pierre-Vincent Quéré (of Rennes)
Latex editor "Delete Aux. Files" -- don't delete PDF file - bug reported by Pierre-Vincent Quéré (of Rennes)

DrXyzzy/smc,DrXyzzy/smc,sagemathinc/smc,tscholl2/smc,tscholl2/smc,sagemathinc/smc,sagemathinc/smc,tscholl2/smc,DrXyzzy/smc,sagemathinc/smc,tscholl2/smc,DrXyzzy/smc,tscholl2/smc