Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

add team, fiddle with _site #95

Closed
wants to merge 3 commits into from
Closed

add team, fiddle with _site #95

wants to merge 3 commits into from

Conversation

jules32
Copy link
Contributor

@jules32 jules32 commented Feb 15, 2022

No description provided.

@jules32 jules32 closed this Feb 16, 2022
@jules32
Copy link
Contributor Author

jules32 commented Feb 16, 2022

Closing/not merging this PR: fixed issues this was trying to solve with Luis in e0d0f02

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.

1 participant