Skip to content

Conversation

@JohT JohT force-pushed the feature/refactoring branch 2 times, most recently from e69648b to 8a423d8 Compare July 31, 2023 20:04
@JohT JohT self-assigned this Aug 1, 2023
@JohT JohT force-pushed the feature/refactoring branch 13 times, most recently from 30b436a to aa5ff9b Compare August 1, 2023 20:56
@JohT JohT changed the title Minor refactorings Auto generate reference documentation + refactoring Aug 1, 2023
@JohT JohT changed the title Auto generate reference documentation + refactoring Auto generate reference documentation Aug 1, 2023
@JohT JohT force-pushed the feature/refactoring branch from aa5ff9b to 8f8fcd1 Compare August 2, 2023 08:04
@JohT JohT force-pushed the feature/refactoring branch from 8f8fcd1 to facde7e Compare August 2, 2023 08:38
@JohT JohT force-pushed the feature/refactoring branch from facde7e to 4c39c5c Compare August 2, 2023 08:41
@JohT JohT changed the title Auto generate reference documentation Auto-generate reference documentation Aug 2, 2023
@JohT JohT marked this pull request as ready for review August 2, 2023 08:44
@JohT JohT changed the title Auto-generate reference documentation Auto-generate reference documentation and some refactoring Aug 2, 2023
@JohT JohT merged commit 9bb150d into main Aug 2, 2023
@JohT JohT deleted the feature/refactoring branch August 2, 2023 12:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants