log .settings/org.eclipse.core.resources.prefs @ 259:304917762618 default tip

age author description
Fri, 27 Jan 2012 02:35:46 +0100 dirk create the database if it doesn't exist and drop it after test