10237:17ab17a3e6b3 | 10238:9ea4634a697e |
---|---|
61 | 61 |
62 def main(): | 62 def main(): |
63 """ | 63 """ |
64 Main entry point into the application. | 64 Main entry point into the application. |
65 """ | 65 """ |
66 QGuiApplication.setDesktopFileName("eric7_compare.desktop") | 66 QGuiApplication.setDesktopFileName("eric7_compare") |
67 | 67 |
68 options = [ | 68 options = [ |
69 ( | 69 ( |
70 "--config=configDir", | 70 "--config=configDir", |
71 "use the given directory as the one containing the config files", | 71 "use the given directory as the one containing the config files", |