diff options
| author | mpimenov <mpimenov@users.noreply.github.com> | 2016-06-14 16:12:58 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-06-14 16:12:58 +0300 |
| commit | 275f23853c854fef34bb19145d3f160ad85b6e58 (patch) | |
| tree | 8f3c9dae8424b8a21cfb546a930c6cb41d411c75 /base | |
| parent | 113c9b78e47c5c00613ad42874393dd1bca9af2a (diff) | |
| parent | c3a83f599b6ec9f39029c76830624573dd4d2981 (diff) | |
Merge pull request #3560 from ygorshenin/fix-results-name
[search] Fixed result name generation.
Diffstat (limited to 'base')
0 files changed, 0 insertions, 0 deletions