Skip to content

Commit 2aa7f34

Browse files
docs: remove redundant Community nav link
The Discord badge above already links to the community channel. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
1 parent 1c08fc5 commit 2aa7f34

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@
88
[![Install](https://img.shields.io/badge/install-kup-blue)](https://kframework.org/install)
99
[![Discord](https://img.shields.io/badge/discord-join-7289da)](https://discord.gg/CurfmXNtbN)
1010

11-
[Installation](#installation)[Usage](#usage)[Contribute](#for-developers)[Community](https://discord.gg/CurfmXNtbN)
11+
[Installation](#installation)[Usage](#usage)[Contribute](#for-developers)
1212

1313
</div>
1414

0 commit comments

Comments
 (0)