Skip to content

Doc tweaks for User Guide generation#844

Open
kiniry wants to merge 1 commit intomasterfrom
doc-tweaks
Open

Doc tweaks for User Guide generation#844
kiniry wants to merge 1 commit intomasterfrom
doc-tweaks

Conversation

@kiniry
Copy link
Contributor

@kiniry kiniry commented Oct 23, 2017

No description provided.

Copy link
Member

@dmzimmerman dmzimmerman left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good, but includes all the commits from the previous PR as well, so I guess we commit that one first.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants