diff .settings/org.eclipse.core.resources.prefs @ 178:e8cc86981938

default DB name is feedworm, fix setting the dbname via commandline parameter
author dirk
date Sat, 10 Sep 2011 04:26:13 +0200
parents db35ab7753f0
children 460a3062c5e6
line wrap: on
line diff