Skip to content
This repository has been archived by the owner on Oct 13, 2022. It is now read-only.

Make DDP master port configurable #158

Merged
merged 1 commit into from
Apr 14, 2021
Merged

Make DDP master port configurable #158

merged 1 commit into from
Apr 14, 2021

Commits on Apr 12, 2021

  1. Make master port command-line configurable

    @danpovey
    danpovey committed Apr 12, 2021
    Configuration menu
    Copy the full SHA
    46606c8 View commit details
    Browse the repository at this point in the history