This commit no longer exists in the repository. It may have been part of a branch which was deleted.

Description

maven: add index host in docker dev setup

Details

Provenance

borisbaldassari	Authored on Jan 15 2022, 8:02 PM
borisbaldassari	Pushed on Jan 21 2022, 3:55 PM

Differential Revision

D6955: maven: add index nginx host in docker dev setup

Tasks

T1724: Maven Central repository support

This commit no longer exists in the repository.