diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2014-02-20 23:01:44 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2014-02-20 23:01:44 -0300 |
| commit | f2a068984c36de1f77940ae9d5dc0d017b8e642d (patch) | |
| tree | 870fc023ade48d3817624b32b301105e0b86bb9e /tools/docdump | |
| parent | 51c55b237b795fa4c085841dbf935c0bd103d5c7 (diff) | |
-run script in editor
-add search docs dialog that returns places string was found
-added flash
Diffstat (limited to 'tools/docdump')
0 files changed, 0 insertions, 0 deletions