platformio/platformio-core
1
0
Fork 1
mirror of https://github.com/platformio/platformio-core.git synced 2025-07-30 10:07:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

Sync docs

Browse Source
This commit is contained in:
Ivan Kravets
2020-06-11 15:15:46 +03:00
parent f571ad9d47
commit 2722e27415
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
docs

Submodule docs updated: 37b313fd15...ec54ae9917

2
platformio/builder/tools/piotarget.py
View File

@ -86,7 +86,7 @@ def DumpTargets(env):
targets["upload"] = dict(name="upload", group="Platform", title="Upload") targets["upload"] = dict(name="upload", group="Platform", title="Upload")
targets["compiledb"] = dict( targets["compiledb"] = dict(
name="compiledb", name="compiledb",
title="Compilation database", title="Compilation Database",
description="Generate compilation database `compile_commands.json`", description="Generate compilation database `compile_commands.json`",
group="Advanced", group="Advanced",
) )