Skip to content

Several changes to documentation#1544

Merged
shahzebsiddiqui merged 5 commits intodevelfrom
update_documentation
Jul 12, 2023
Merged

Several changes to documentation#1544
shahzebsiddiqui merged 5 commits intodevelfrom
update_documentation

Conversation

@shahzebsiddiqui
Copy link
Member

Fix a few changes to buildtest documentation including contributing guide, and buildtest tutorial.

@shahzebsiddiqui shahzebsiddiqui merged commit dcdc15a into devel Jul 12, 2023
@shahzebsiddiqui shahzebsiddiqui deleted the update_documentation branch July 12, 2023 21:12
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.

1 participant