You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The documentation for penrose is managed using the wonderful mdbook.
You will need to have the CLI tool installed to work on the docs locally and changes
should be published to GitHub Pages on merge to the develop branch.