Merge branch 'develop' into feature/v7

# Conflicts:
#	docs
This commit is contained in:
Ivan Kravets committed 2023-08-14 19:04:00 +03:00
commit 562fb22a70
4 files changed
+7 -4

No files matched your search

@@ -17,7 +17,7 @@
% "name": "PIO Debug (skip Pre-Debug)",
% "executable": _escape_path(prog_path),
% "projectEnvName": env_name if forced_env_name else default_debug_env_name,
% "toolchainBinDir": _escape_path(os.path.dirname(gdb_path)),
% "toolchainBinDir": _escape_path(os.path.dirname(cc_path)),
% "internalConsoleOptions": "openOnSessionStart",
% }
%