This PR adds the logo that we discussed in some detail. To avoid cluttering of the doc-root I moved the recently created diagrams directory into a more general resources directory. The release notes have been updated and the logo will show up on RTD when this is merged.
MikeHart85
commented
7 years ago
This PR adds the logo that we discussed in some detail. To avoid cluttering of the doc-root I moved the recently created
diagramsdirectory into a more generalresourcesdirectory. The release notes have been updated and the logo will show up on RTD when this is merged.