Commit 23ea192
committed
Rename website directory to 'docs', which is required by Github Pages
1 parent a8f1003 commit 23ea192
105 files changed
File tree
- docs
- _includes
- _layouts
- _posts
- css
- ico
- img
- js
- semantics
- static
- templates
- tutorial
- tutorials
- wiki
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
0 commit comments