From 3459a0734ff7bcc84478d971fc6a4a79796c2b8b Mon Sep 17 00:00:00 2001 From: Frederik Schmitt Date: Sun, 17 Dec 2023 16:32:57 +0100 Subject: [PATCH] Fix h1 on devenv article --- guides/installation/devenv.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/guides/installation/devenv.md b/guides/installation/devenv.md index 72661fea1..77a125290 100644 --- a/guides/installation/devenv.md +++ b/guides/installation/devenv.md @@ -5,7 +5,9 @@ nav: --- -# What is devenv? +# Devenv + +## What is devenv? Imagine [devenv](https://devenv.sh) to function as a dependency manager for the services and packages that you need to run your application for local development or even in a CI/CD context.