diff options
author | ygorshenin <mipt.vi002@gmail.com> | 2016-07-28 14:57:34 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-07-28 14:57:34 +0300 |
commit | ab5367c9e5be1df6ef294a8976347ce1b70654ac (patch) | |
tree | 3d8716ed34e8e26bab53cab733114511c94871c4 /defines.hpp | |
parent | c914d7b1d47b1a59af7b0f03fb8df2fc3e5a807b (diff) | |
parent | 57ccae4f5659581b1fa810819fc15f610f569327 (diff) |
Merge pull request #3887 from mpimenov/fix-leftovers
[search] Clean up the leftovers in PreRanker.
Diffstat (limited to 'defines.hpp')
0 files changed, 0 insertions, 0 deletions