Noémi Ványi 59c02e8e5f results: make engines of results set ...

Previously, if a same result was returned from the
same engine, the name of the engine would be added
more than once. To eliminate engine name duplication
engine list was changed to set.

2017-11-03 19:52:47 +01:00

11 KiB

Raw Blame History

View Raw