diff options
| author | Franklin Sobrinho <franklin_gs@hotmail.com> | 2016-08-07 11:01:22 -0300 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2017-01-15 16:42:24 +0100 |
| commit | b24b52d56bb3938bdeff9640b0730d7717f2b4c6 (patch) | |
| tree | 90fb357c1f5f2515b11b415945b6f1a67aa78dbc /tools/doc/doc_dump.h | |
| parent | e0faf8a51b38205ed5f9ebbcf95559f0e3110bf2 (diff) | |
Add a API to add/remove items to the "Tools" menu
Diffstat (limited to 'tools/doc/doc_dump.h')
0 files changed, 0 insertions, 0 deletions