-
Franco Fichtner authored
* Remove spurious debug output that was never enabled and make actual error messages the default behaviour. * Update links and remove a bit of softcoding that was going on around the GUI through global variables (we don't want to hide the help menu, nope).
93d00ecd