-
Andrei Paskevich authored
- make Whyconf.Args.initialize return the base config file, too. This is needed when we change configuration and want to save it. - make Main pass "why3 <command>" as argv[0] - remove "-version" options from everything but the main executable
241961df