Skip to content
New issue

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

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Enhance and unify development docs for debug, develop, package #6819

Merged
merged 11 commits into from
Dec 4, 2018

Conversation

dnsmichi
Copy link
Contributor

@dnsmichi dnsmichi commented Dec 4, 2018

fixes #5341
refs #6723

@dnsmichi dnsmichi added the area/documentation End-user or developer help label Dec 4, 2018
@dnsmichi dnsmichi added this to the 2.11.0 milestone Dec 4, 2018
@dnsmichi dnsmichi added the enhancement New feature or request label Dec 4, 2018
@dnsmichi dnsmichi force-pushed the feature/development-docs branch from 9b9b54d to 00673cd Compare December 4, 2018 11:25
@dnsmichi dnsmichi merged commit c214536 into master Dec 4, 2018
@lazyfrosch lazyfrosch deleted the feature/development-docs branch February 7, 2019 11:00
@dnsmichi dnsmichi modified the milestones: 2.11.0, 2.10.3 Feb 11, 2019
@dnsmichi dnsmichi added the backported Fix was included in a bugfix release label Feb 11, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area/documentation End-user or developer help backported Fix was included in a bugfix release enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Enhance development documentation
1 participant