From b90cddea2047f63b2d6a65a83f65938e1d259320 Mon Sep 17 00:00:00 2001 From: Dmitrijs <78289194+fama23@users.noreply.github.com> Date: Thu, 11 Mar 2021 04:52:07 +0200 Subject: [PATCH] Delete .devcontainer.json --- .devcontainer.json | 17 ----------------- 1 file changed, 17 deletions(-) delete mode 100644 .devcontainer.json diff --git a/.devcontainer.json b/.devcontainer.json deleted file mode 100644 index c2812d7b6b39..000000000000 --- a/.devcontainer.json +++ /dev/null @@ -1,17 +0,0 @@ -// Codespaces environment for docs.github.com -// For format details, see https://aka.ms/vscode-remote/devcontainer.json -{ - "name": "docs.github.com", - "settings": { - "terminal.integrated.shell.linux": "/bin/bash", - "cSpell.language": ",en" - }, - // Install pre-requisites and run a build to ensure we are ready to start serving docs.github.com locally (via `npm start`) - "postCreateCommand": "npm ci && npm run build", - "forwardPorts": [4000], - // Visual Studio Code extensions which help authoring for docs.github.com. - "extensions": [ - "yzhang.markdown-all-in-one", - "streetsidesoftware.code-spell-checker" - ] -}