Skip to content
This repository has been archived by the owner on Apr 4, 2023. It is now read-only.

Directly store the number of documents in an index #48

Closed
wants to merge 2 commits into from
Closed

Directly store the number of documents in an index #48

wants to merge 2 commits into from

Commits on Dec 11, 2020

  1. Directly store the number of documents in an index

    @Kerollmops
    Kerollmops committed Dec 11, 2020
    Configuration menu
    Copy the full SHA
    bc101de View commit details
    Browse the repository at this point in the history

  2. WIP: number of faceted documents ids

    @Kerollmops
    Kerollmops committed Dec 11, 2020
    Configuration menu
    Copy the full SHA
    f5fcfed View commit details
    Browse the repository at this point in the history