Merge branch 'main' into nullptr/unsupported-type-ignore

This commit is contained in:
nullptr 2024-11-13 20:23:21 +00:00 committed by GitHub
commit 09f3234f72
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions

View File

@ -67,7 +67,7 @@
<ul class="list-disc list-inside mt-6">
<li class="text-transition" style="--delay: {6 * multiplier}ms">
<a
href="https://github.com/notnullptr/VERT"
href="https://github.com/not-nullptr/VERT"
class="text-foreground-highlight hover:underline">Source code</a
> (hosted on GitHub, licensed under AGPL-3.0)
</li>