From 085bbfe783111cbd34c73d1b4136f0efad955e29 Mon Sep 17 00:00:00 2001 From: Joel Berkeley <16429957+joelberkeley@users.noreply.github.com> Date: Wed, 21 Sep 2022 19:35:34 +0100 Subject: [PATCH] Updated _Sidebar (markdown) --- _Sidebar.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_Sidebar.md b/_Sidebar.md index ee4107f..9347407 100644 --- a/_Sidebar.md +++ b/_Sidebar.md @@ -6,7 +6,7 @@ - [External Backends](1-[Language]-External-backends) - **Working on Idris** - [Getting Started](2-[Community]-Getting-started-with-Compiler-development) - - [What Contributions are Wanted](2-[Community]-Contributions-wanted) + - [What Contributions are Needed](2-[Community]-Contributions-wanted) - [Map of the Source Code](1-[Language]-Map-of-the-Source-Code) - [FAQ](1-[Language]-Working-with-Idris-FAQ) - **Proposed changes**