diff metrics50.gradle @ 349:45fc06cbb6b2

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