diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-06-05 10:03:11 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-05 10:03:11 +0200 |
| commit | 6e32a2886f6d816c1e7e1921d64ad931a0cfa20e (patch) | |
| tree | b14e15cbd7cdd63d13add63233e77e1b7514bfe9 /editor/editor_plugin.h | |
| parent | 7488e839541384da0ed8985872ac3b936ec5e27d (diff) | |
| parent | 27d70924a00ef2e199426d3facd8fa5dd7151bb5 (diff) | |
Merge pull request #18792 from PJB3005/18-05-11-objectdb-verbose-mono
Fixes ObjectDB leak printout with mono.
Diffstat (limited to 'editor/editor_plugin.h')
0 files changed, 0 insertions, 0 deletions