diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-03-18 10:39:06 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-18 10:39:06 +0100 |
| commit | faca5bafe85dbafecb95b926ebca4c131e01ce26 (patch) | |
| tree | 2e4aa5107fab7ed2979b663b144c53569f3c580f /thirdparty/zstd/common | |
| parent | a2d3ba33728230eacdf4a5b0e48c89a5c4b24eb1 (diff) | |
| parent | 2f151068b5333c133d1a9dffe124bb532ba0a25b (diff) | |
Merge pull request #36993 from van800/editor_metadata
For third-party tools - editor_path is stored in project's editor settings
Diffstat (limited to 'thirdparty/zstd/common')
0 files changed, 0 insertions, 0 deletions