-
Sandro Christian Wenzel authored
detail: disable shape specialization by default for the moment as it currently seems to have navigation problems compared to the unspecialized case.
d74f981c
detail: disable shape specialization by default for the moment as it currently seems to have navigation problems compared to the unspecialized case.