diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-07-09 21:58:26 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-07-09 21:58:26 +0200 |
| commit | ff0554d05502644b8c898be5be5d73c59a744f34 (patch) | |
| tree | 159b8e2ade4df15c9ed9a5af8a2d6ee36071fe13 /.gitattributes | |
| parent | ac66a9f6398cb44dee4633f029652304d07a1ee8 (diff) | |
| parent | eed2251f17429e40680a021e5738ce1e80c0447d (diff) | |
Merge pull request #30469 from bojidar-bg/20662-unselectable-error
Add a way to copy the text of warnings shown in the editor
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions