| commit | 6cc1770200ac0baa8784fb8b9b3ebd5068119e27 | [log] [tgz] |
|---|---|---|
| author | Guillaume Nodet <gnodet@gmail.com> | Wed Sep 07 11:01:01 2022 +0200 |
| committer | GitHub <noreply@github.com> | Wed Sep 07 11:01:01 2022 +0200 |
| tree | d3e2d0658519e9f59997911461315a15c30bff3f | |
| parent | 0299a382642a313882a8d5c2645842664f9e9cfe [diff] |
System properties should have precedence over environment variables, fixes #675 (#680)