jprdonnelly/docs
1
0
Fork 0
mirror of synced 2025-12-22 11:26:57 -05:00
Code Issues Projects Releases Wiki Activity

matching titles with links

Browse Source
This commit is contained in:
Sophie
2022-07-01 15:09:37 +02:00
parent 24e422eec7
commit 3566d60a29
3 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
content/codespaces/customizing-your-codespace/setting-your-default-editor-for-github-codespaces.md
View File

@@ -1,5 +1,5 @@
---
title: Setting your default editor for Codespaces
title: Setting your default editor for GitHub Codespaces
shortTitle: Set the default editor
intro: 'You can set your default editor for {% data variables.product.prodname_codespaces %} in your personal settings page.'
product: '{% data reusables.gated-features.codespaces %}'