diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2017-01-13 20:03:51 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2017-01-13 20:03:51 -0300 |
| commit | f3b6177ece8a06e52870ed422cbcc67276606e5a (patch) | |
| tree | d05fa992e811cfbfd0146a10b85b120038317490 /tools/editor | |
| parent | 6e88b1096a6876f919f70e39638e8e24fcdefc7a (diff) | |
rename monitoring functions
Diffstat (limited to 'tools/editor')
0 files changed, 0 insertions, 0 deletions