Option to limit processing to a specified configuration#104

Merged

rentzsch merged 1 commit intorentzsch:masterfrom sixten:master

Apr 18, 2012

+24-7

Commits on Apr 17, 2012

Add option to limit to a single configuration.
sixten
committed