diff options
author | Ignacio Etcheverry <neikeq@users.noreply.github.com> | 2018-02-18 19:53:46 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-02-18 19:53:46 +0100 |
commit | dad47d8876de45132226985dbbd079e060f6facc (patch) | |
tree | abc1815b2a9502117d68db204fab0bf105fe4c0c /core/helper | |
parent | e380a98109f72d4e39f1f069c3cf35e408925a8b (diff) | |
parent | 10998380799f25cb3198c62f29e30e743c6013ac (diff) |
Merge pull request #16749 from PJB3005/18-02-16-project-manager-mono-debug-fix
Makes project manager never initialize mono debug.
Diffstat (limited to 'core/helper')
0 files changed, 0 insertions, 0 deletions