diff options
| author | Cyrille Bagard <nocbos@gmail.com> | 2018-04-22 09:28:24 (GMT) |
|---|---|---|
| committer | Cyrille Bagard <nocbos@gmail.com> | 2018-04-22 09:28:24 (GMT) |
| commit | a658bff3e88ba63c3c47a5ea2668fd105dbd4bc0 (patch) | |
| tree | 2385b2c8187bf10933ae6c8ba7a24457a3895e3e /plugins/devdbg | |
| parent | 5bd00cf41b6618100f48d8c52998197049dbc136 (diff) | |
Installed the core headers in the right place for plugins.
Diffstat (limited to 'plugins/devdbg')
0 files changed, 0 insertions, 0 deletions