Albert S 10d61acbd0 shared,gui: SearchResult: remove page vector ...

Since the previous commit we don't group the results
anymore, making the vector redundant

2022-08-24 00:00:11 +02:00

201 B

原始文件 Blame 文件历史

查看原始文件