Skip to content

chore: rename Makefile target docs-dev to docs-local#65

Merged
heitorlessa merged 2 commits intodevelopfrom chore/rename_make_targets_docsJun 7, 2020

Commits

Commits on Jun 7, 2020