diff options
| author | Bojidar Marinov <bojidar.marinov.bg@gmail.com> | 2019-07-09 21:11:31 +0300 |
|---|---|---|
| committer | Bojidar Marinov <bojidar.marinov.bg@gmail.com> | 2019-07-09 21:11:31 +0300 |
| commit | eed2251f17429e40680a021e5738ce1e80c0447d (patch) | |
| tree | 677949dcab33e49b24bc360478a896e22b4a6dda /thirdparty/misc/pcg.h | |
| parent | 3bfffcc568d87342e867f95c35a4a19e09072189 (diff) | |
Add a way to copy the text of warnings shown in the editor
Closes #20662
Diffstat (limited to 'thirdparty/misc/pcg.h')
0 files changed, 0 insertions, 0 deletions