tree 417c1cc5975b7cdd43cae53a46aeadc1ddcdfcfa
parent 0c8d83d2b306949b434d237bb125482260f841ea
parent 7f08b3573fc31f49dbbf4880a4995625dbca6072
author margaretha <margaretha@ids-mannheim.de> 1691148192 +0200
committer Gerrit Code Review <gerrit2@korap.ids-mannheim.de> 1691148192 +0200

Merge "Add totalResources to index search"