Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Already on GitHub? Sign in to your account

Update and rename _includes/devdoc/guide_ to _includes/dev #1179

Closed
wants to merge 1 commit into
from

Conversation

Projects
None yet
2 participants