[ci] Small improvements for run-jenkins and collect-coverage. (#5669)
[mono.git] / docs / glossary.txt
2007-06-24 Miguel de IcazaAdd