commit | 700a8426a537bcce45098c0c75f782fb4ad685e7 | [log] [tgz] |
---|---|---|
author | Stephan Herrmann <stephan.herrmann@berlin.de> | Sun May 01 20:57:07 2016 +0200 |
committer | Stephan Herrmann <stephan.herrmann@berlin.de> | Sun May 01 20:57:07 2016 +0200 |
tree | ba096b84747264b01dec2c7e0f7fe0855c591b75 | |
parent | 542e0c280fd53f008c803ad59dc2b3301290a50e [diff] |
Bug 462785: [otdre][debug] automatically select weaver when launching - use default option only if no explicit option found