Merge branch 'main' of github.com:propensive/rudiments

propensive · Aug 29, 2024 · 14287cf · 14287cf
2 parents 1e97038 + a59a54f
commit 14287cf
Show file tree

Hide file tree

Showing 4 changed files with 2 additions and 1 deletion.
diff --git a/contributing.md → .github/contributing.md b/contributing.md → .github/contributing.md
diff --git a/license.md → .github/license.md b/license.md → .github/license.md
diff --git a/readme.md → .github/readme.md b/readme.md → .github/readme.md
@@ -1,5 +1,5 @@
 [<img alt="GitHub Workflow" src="https://img.shields.io/github/actions/workflow/status/propensive/rudiments/main.yml?style=for-the-badge" height="24">](https://github.com/propensive/rudiments/actions)
-[<img src="https://img.shields.io/discord/633198088311537684?color=8899f7&label=DISCORD&style=for-the-badge" height="24">](https://discord.gg/MBUrkTgMnA)
+[<img src="https://img.shields.io/discord/633198088311537684?color=8899f7&label=DISCORD&style=for-the-badge" height="24">](https://discord.com/invite/MBUrkTgMnA)
 <img src="/doc/images/github.png" valign="middle">
 
 # Rudiments

diff --git a/doc/lines.md b/doc/lines.md
@@ -0,0 +1 @@
+809