docs: Fix casing of "REPL" in sidebar (#14579)

Marshall Bowers created 2 years ago

This PR fixes the casing of the REPL link in the sidebar.

Release Notes:

- N/A

Change summary

docs/src/SUMMARY.md | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)

Detailed changes

docs/src/SUMMARY.md

@@ -22,7 +22,7 @@
 - [Collaboration](./collaboration.md)
 - [Tasks](./tasks.md)
 - [Remote Development](./remote-development.md)
-- [Repl](./repl.md)
+- [REPL](./repl.md)
 
 # Language Support