mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 81d321 | patch | commitdiff
Matthew Swift
17.13.2014 f77901ca8919358e76fd832ef176f55e4f9fafb2
refs
author Matthew Swift <matthew.swift@forgerock.com>
Friday, January 17, 2014 14:13 +0100
committer Matthew Swift <matthew.swift@forgerock.com>
Friday, January 17, 2014 14:13 +0100
commitf77901ca8919358e76fd832ef176f55e4f9fafb2
tree e24e552dfa39da72bcc71cc18cbe1e5abac64049 tree | zip | gz
parent 81d32173e794376cd0aa7e32e2578c4aaec006e0 view | diff 
Omit generated messages and config sources from Cobertura coverage reports.
2 files modified
25 ■■■■■ changed files
opendj-config/pom.xml 14 ●●●●● diff | view | raw | blame | history
pom.xml 11 ●●●●● diff | view | raw | blame | history