[ci] Small improvements for run-jenkins and collect-coverage. (#5669)
[mono.git] / COPYING.LIB
1 See LICENSE file in the project root for full license information.