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

Polishing IndexManager #76

Merged
merged 2 commits into from
Nov 27, 2018
Merged

Polishing IndexManager #76

merged 2 commits into from
Nov 27, 2018

Conversation

skoegl
Copy link
Member

@skoegl skoegl commented Jul 12, 2018

  • added pagesize to sha256 cache key
  • works now also for pagesize == 1
  • updated and fixed code documentation
  • code reformat to current style

* works now also for pagesize == 1
* updated and fixed code documentation
* code reformat to current style
@tsteinruecken tsteinruecken merged commit 10fe12e into develop Nov 27, 2018
@tsteinruecken tsteinruecken deleted the feature/Indexmanger_rework branch November 27, 2018 15:11
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants