Skip to content
This repository has been archived by the owner on Sep 20, 2023. It is now read-only.

chore: add ignore labels #197

Merged
merged 1 commit into from
Dec 28, 2021

Conversation

lukas-reineke
Copy link
Contributor

No description provided.

@lukas-reineke lukas-reineke merged commit 742fc52 into famiu:develop Dec 28, 2021
@lukas-reineke lukas-reineke deleted the chore/add-ignore-labels branch December 28, 2021 01:42
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant