Skip to content
Commit 9513034c authored by David Novak's avatar David Novak
Browse files

* the threadpool set from the outside is now propagated to the MIndexInitializer 

    - and thus the settings parameter "ppcalculator.threads" is supported no more
 * other minor modifications in the PPP-Tree (necessary for PPP-COdes)
parent 80d1f7ec
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment