diff -r 58fe260e7469 -r 7ce719013078 eric5_editor.py --- a/eric5_editor.py Sat Oct 19 12:28:12 2013 +0200 +++ b/eric5_editor.py Sat Oct 19 13:03:39 2013 +0200 @@ -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"), ("", "name of file to edit")