Updated dev-tools local fetcher.

dpc-sdp / dev-tools

Tools used for development of Tide distribution and modules.

2 stars 1 forks source link

Closed AlexSkrypnyk closed 5 years ago

AlexSkrypnyk commented 5 years ago

Very minor change and purely for documentation.

This is required due to other changes in all Tide repos