From c37496725a67c51be4c61e68c43f1b38cd4deb7b Mon Sep 17 00:00:00 2001
From: Ivan Ivanov Projects
NOTE: when overriding settings with you project config bear in mind that some of the settings, such as workspace dirs, build commands etc. will completely replace
- the global settings, while other options (such as keymaps or the options in the [[settings]]
block will be merged with the global ones, allowing you
+ the global settings, while other options (such as keymaps or the options in the [[settings]]
block) will be merged with the global ones, allowing you
to only replace a few and leave the rest intact.