Skip to content

Delete 2022-05-25-protocol.md#36

Merged
cdingm merged 1 commit intomainfrom
maintenance/remove-folder
Jun 15, 2022
Merged

Delete 2022-05-25-protocol.md#36
cdingm merged 1 commit intomainfrom
maintenance/remove-folder

Conversation

@cdingm
Copy link
Collaborator

@cdingm cdingm commented Jun 14, 2022

remove unnecessary folder, which was already there just with an "s". the file has no additional value since it is also in the correct folder with added information

remove unnecesary folder
@cdingm cdingm requested a review from IlijazM June 14, 2022 10:55
@cdingm cdingm merged commit bba61ff into main Jun 15, 2022
@cdingm cdingm deleted the maintenance/remove-folder branch June 15, 2022 11:27
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