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
Norman Walsh edited this page Jan 19, 2019
·
2 revisions
Editing the website is as simple as making
pull requests
to this repository. These will be approved and merged by one of the
editors.
You can bring your request to the attention of the editors more quickly by adding them as reviewers to your pull request.
See building the site for
more details about how the build system works.