Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
pw_ide: Preserve modified editor settings
If you directly edit files like `settings.json`, those edits will be preserved during calls to `pw ide sync`. Fixes: b/344681641 Change-Id: Iac8f07f48f71e37915210cb71e9b9483e5ecc7f8 Reviewed-on: https://pigweed-review.googlesource.com/c/pigweed/pigweed/+/213670 Presubmit-Verified: CQ Bot Account <[email protected]> Reviewed-by: Anthony DiGirolamo <[email protected]> Commit-Queue: Chad Norvell <[email protected]> Lint: Lint 🤖 <[email protected]>
- Loading branch information