diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-09-16 08:06:11 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-16 08:06:11 +0200 |
| commit | 73ec378c6431fc2e86c1116505b61f5064d3cd4d (patch) | |
| tree | cc785c190b84bbc9f971103d9e04ed1e26d7aa6e /modules/mbedtls/config.py | |
| parent | e2bd0a0a73c2388d862dbfd44ba3b2f75c0d2972 (diff) | |
| parent | ca801f833faa475b1d76c59896cd018d8fd6f40b (diff) | |
Merge pull request #51715 from aaronfranke/editor-setting-macro
Add and use macros for defining editor settings with hint information
Diffstat (limited to 'modules/mbedtls/config.py')
0 files changed, 0 insertions, 0 deletions