Skip to content

Documentation edits#10

Merged
ErinWeisbart merged 4 commits intomainfrom
documentation_edits
Jan 18, 2023
Merged

Documentation edits#10
ErinWeisbart merged 4 commits intomainfrom
documentation_edits

Conversation

@bethac07
Copy link
Contributor

To add clarity, better differentiate between DS for devs vs users

@ErinWeisbart
Copy link
Member

Thanks @bethac07 !

@ErinWeisbart ErinWeisbart merged commit c8006f8 into main Jan 18, 2023
@ErinWeisbart ErinWeisbart deleted the documentation_edits branch January 18, 2023 17:23
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

Comments