diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-03-28 20:41:49 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-03-28 20:41:49 +0100 |
| commit | 2d297a17215ad1354cb5b70f3eeabdee7c93225e (patch) | |
| tree | 1b6b6666e206b877c56297ed601ab4a32b7b8513 /.gitmodules | |
| parent | baaa8832b28b53b6d2ce9fd87f13b48f8c3c1b19 (diff) | |
skip tests if ports are unavailable
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions