diff -r 0a02c433f52d -r 5883ce99ee12 eric5_pluginrepository.py --- a/eric5_pluginrepository.py Fri Nov 01 15:48:48 2013 +0100 +++ b/eric5_pluginrepository.py Sun Nov 03 15:58:22 2013 +0100 @@ -50,7 +50,7 @@ """ Main entry point into the application. """ - options = [\ + options = [ ("--config=configDir", "use the given directory as the one containing the config files"), ]