diff jacoco-ant.xml @ 349:45fc06cbb6b2

use github system properties
author Marc Davis <marc.davis@mcoecn.org>
date Wed, 26 Jul 2023 08:30:15 -0400
parents 9dcb429eea14
children
line wrap: on
line diff