1
0
mirror of synced 2025-12-22 03:16:52 -05:00
Files
docs/lib/all-tools.js
Sarah Edwards 0d484f9d48 Add JavaScript to tool switcher (#29780)
add javascript to tool switcher
2022-08-10 19:53:48 +00:00

15 lines
366 B
JavaScript

// all the tools available for the Tool Picker
export const allTools = {
bash: 'Bash',
cli: 'GitHub CLI',
codespaces: 'Codespaces',
curl: 'cURL',
desktop: 'Desktop',
importer_cli: 'GitHub Enterprise Importer CLI',
graphql: 'GraphQL API',
powershell: 'PowerShell',
vscode: 'Visual Studio Code',
webui: 'Web browser',
javascript: 'JavaScript',
}