Update the-githubdev-web-based-editor.md

github · Oct 7, 2024 · 9d3ade1 · 9d3ade1
1 parent 8f2c70e
commit 9d3ade1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/content/codespaces/the-githubdev-web-based-editor.md b/content/codespaces/the-githubdev-web-based-editor.md
@@ -1,4 +1,4 @@
----
+--
 title: The github.dev web-based editor
 shortTitle: github.dev editor
 intro: 'You can use the {% data variables.codespaces.serverless %} web-based editor to edit files and commit your changes.'
@@ -11,7 +11,7 @@ topics:
   - Developer
 redirect_from:
   - /codespaces/developing-in-codespaces/web-based-editor
----
+--
 
 {% note %}