diff plugin/plugin.pro @ 505:db398832518b

* Avoid a sometime crash on exit, by simply not deleting stuff
author Chris Cannam
date Fri, 05 Dec 2008 11:24:13 +0000
parents 370aa9714ef5
children ebb6ac65bccc
line wrap: on
line diff