[docs] Clarify on how to use the local distribution in the CONTRIBUTING file#13312

Merged

oliviertassinari merged 1 commit intomui:masterfrom nicolasiensen:clarify-using-local-distrib

Oct 20, 2018

+1-1

Commits on Oct 20, 2018

Clarify on how to use the local distribution in the CONTRIBUTING file
nicolasiensen
committed