Skip to content
This repository has been archived by the owner on Aug 2, 2020. It is now read-only.

Finalise documentation build rule #447

Merged
merged 3 commits into from
Nov 4, 2017
Merged

Finalise documentation build rule #447

merged 3 commits into from
Nov 4, 2017

Conversation

snowleopard
Copy link
Owner

As discussed in #414

@snowleopard snowleopard merged commit e25bb01 into master Nov 4, 2017
@snowleopard snowleopard deleted the wip/fix-docs branch November 4, 2017 23:31
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant