New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Create an "Old tools" section #1445

Closed

Ainali opened this issue Mar 18, 2024 · 0 comments · Fixed by #1446

Assignees

Member

Ainali commented Mar 18, 2024 •

edited

Loading

So that we can move the ones we retire and be clear on which are still in use.

Ainali self-assigned this

Ainali added a commit that referenced this issue


          Add previous tools section

7af87c4

Fixes #1445

Ainali mentioned this issue

Add previous tools section #1446

Merged

clausmullie closed this as completed in #1446

# for free to join this conversation on GitHub. Already have an account? # to comment