diff options
author | Bart Polot <bart@net.in.tum.de> | 2013-04-22 14:42:20 +0000 |
---|---|---|
committer | Bart Polot <bart@net.in.tum.de> | 2013-04-22 14:42:20 +0000 |
commit | e4048e9edf0dafbac032d36bbaf5037fec91fbf3 (patch) | |
tree | 81a410307e2aeb3bb76222b4f5c42c726cfdf397 /src/regex/gnunet-regex-profiler.c | |
parent | 08fd3307bed55f72f646fd0b5aeaaf77881e3889 (diff) |
Allow callback to stop a DISK_scan with no error, similar to other er APIs
Diffstat (limited to 'src/regex/gnunet-regex-profiler.c')
0 files changed, 0 insertions, 0 deletions