diff options
| author | Cyrille Bagard <nocbos@gmail.com> | 2018-06-28 17:01:13 (GMT) |
|---|---|---|
| committer | Cyrille Bagard <nocbos@gmail.com> | 2018-06-28 17:01:13 (GMT) |
| commit | 732861087965346f8df5f5da4b429603282e5826 (patch) | |
| tree | eb30e34e80c677eb07bc7d3c861bd5582725642d /src/gui/panels/symbols.h | |
| parent | 398c8a5b054072a6d4ecdd5d2c2df356dddaf53a (diff) | |
Deleted all references to the unused type manager.
Diffstat (limited to 'src/gui/panels/symbols.h')
0 files changed, 0 insertions, 0 deletions