Skip to content
This repository has been archived by the owner on Jul 28, 2024. It is now read-only.

Add label documentation #28

Merged
merged 1 commit into from
Sep 4, 2020
Merged

Add label documentation #28

merged 1 commit into from
Sep 4, 2020

Conversation

tatinacher
Copy link
Member

Add label documentation

@tatinacher tatinacher added the documentation Improvements or additions to documentation label Sep 4, 2020
@github-actions github-actions bot added the @atoms Changes inside atoms label Sep 4, 2020
@sergeysova sergeysova merged commit addc17e into master Sep 4, 2020
@sergeysova sergeysova deleted the docs/label branch September 4, 2020 12:06
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
@atoms Changes inside atoms documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants