Skip to content

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

Merged
heitorlessa merged 2 commits intodevelopfrom
chore/rename_make_targets_docs
Jun 7, 2020

Commits

Commits on Jun 7, 2020