| Commit | Date | |
|---|---|---|
| 2018-06-14 14:11:12 | Tree | |
| 2018-06-14 14:10:12 | Tree | |
|
[r1012]
by
mukau
* added HitStringsParallel server.opt option -> send 'get_hit_strings' requests to daughters in parallel |
2018-06-14 14:09:10 | Tree |
| 2018-06-14 13:02:45 | Tree | |
| 2018-06-14 13:00:43 | Tree | |
|
[r1009]
by
mukau
+ merged -r 1007:1008 from tag ddc-2.1.12-pre1 into trunk (ddcMMap<> fixes for empty source files) |
2018-06-13 13:56:31 | Tree |
| 2018-06-13 13:55:11 | Tree | |
| 2018-06-13 13:35:06 | Tree | |
| 2018-06-13 13:34:51 | Tree | |
| 2018-06-13 13:33:29 | Tree |