Skip to content

Conversation

@Tom-Willemsen
Copy link
Member

  • Minor tidying/formatting of docs
  • Add an intro section giving a bit of context around what this is for

@jackbdoughty jackbdoughty merged commit 541ec39 into main Oct 30, 2024
11 checks passed
@jackbdoughty jackbdoughty deleted the tidy_docs branch October 30, 2024 13:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants