commit | 600969320eb791e411a08832698aafe1b7fc115a | [log] [tgz] |
---|---|---|
author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Fri Apr 23 10:13:31 2010 +0000 |
committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Fri Apr 23 10:13:31 2010 +0000 |
tree | d711fe7408132b94f6462ffa7e1f1b5e1d129712 | |
parent | 8d36316d9b669ce7ebd46f3bb12d87a9f285e2ac [diff] |
configuration cleanup: - mainly include plugin.properties into binary build to properly show plugin name and provider in the UI