diff options
| author | Tannin <devnull@localhost> | 2015-05-11 18:05:01 +0200 |
|---|---|---|
| committer | Tannin <devnull@localhost> | 2015-05-11 18:05:01 +0200 |
| commit | 328244692b9e4bd216be95edbb0d0f944dbcb34a (patch) | |
| tree | da3f8ef1d9b183914539544a06abd49a8efb0b01 /src/shared/util.cpp | |
| parent | f32b4c3ce1311607cf1b01c4d53d42141a546657 (diff) | |
better type safety in accessing tool plugins
Diffstat (limited to 'src/shared/util.cpp')
0 files changed, 0 insertions, 0 deletions