diff options
author | Henning Dieterichs <notify.henning.dieterichs@live.de> | 2022-07-22 15:06:10 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-07-22 15:06:10 +0300 |
commit | 052f02175f4752c36024c18cfbca4e13403e10c3 (patch) | |
tree | f5421842082cd0179960dd5a2a958a83e563b94f /build | |
parent | c6cf41b83b71188841a4840292bdb2a926b6e4e0 (diff) |
Moves the read-only message into its own contribution to enable customization in the monaco editor. (#155951)
Diffstat (limited to 'build')
0 files changed, 0 insertions, 0 deletions