Skip to content
This repository was archived by the owner on May 30, 2024. It is now read-only.

Add glossary#32

Merged
franciscoaguirre merged 2 commits intomainfrom
glossary
Jun 21, 2023
Merged

Add glossary#32
franciscoaguirre merged 2 commits intomainfrom
glossary

Conversation

@franciscoaguirre
Copy link
Collaborator

Added a glossary with a bunch of useful terms we use.

@franciscoaguirre franciscoaguirre merged commit 869bcde into main Jun 21, 2023
@franciscoaguirre franciscoaguirre deleted the glossary branch June 21, 2023 13:40
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants