This repository has been archived by the owner on Aug 15, 2024. It is now read-only.

Deprecate repository #59

Merged

EmilLuta merged 1 commit into main from popzxc-patch-1

Aug 15, 2024

Member

popzxc commented Aug 15, 2024

What ❔

Why ❔

Checklist

PR title corresponds to the body of PR (we generate changelog entries from PRs).
Tests for the changes have been added / updated.
Documentation comments have been added / updated.
Code has been formatted via zk fmt and zk lint.


          Deprecate repository

89c895e

EmilLuta approved these changes

View reviewed changes

EmilLuta merged commit 5a8c403 into main

5 checks passed

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet