backend.py: log which JAR is being used and warn if multiple ones exist
Description
Description
Details
Details
- Provenance
zack Authored on Nov 11 2019, 1:37 PM zack Pushed on Nov 11 2019, 1:37 PM - Parents
- rDGRPH6290eda4721b: doc: stop building javadoc for now, as we do not ship it anyway
- Branches
- Unknown
- Tags
- Build Status
Buildable 8932 Build 13045: test-and-build Jenkins