Allow `using P4est` for preferences not set correctly#93

Merged

sloede merged 3 commits intotrixi-framework:mainfrom JoshuaLampert:robust-loading

Nov 6, 2023

+51-9

Commits on Nov 4, 2023

allow using P4est for preferences not set correctly
JoshuaLampert
committed

Commits on Nov 5, 2023

add warning also at loading time
JoshuaLampert
committed

Commits on Nov 6, 2023

add link to docs in warning
JoshuaLampert
committed