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

Added mirage2 labels and minor missing labels #33

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

ammopt
Copy link

@ammopt ammopt commented Feb 24, 2017

No description provided.

@ammopt
Copy link
Author

ammopt commented Feb 24, 2017

Some portuguese missing labels were added, particularly showing in Mirage2.

@tdonohue tdonohue changed the base branch from master to main June 29, 2020 20:04
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
1 participant