diff Makefile @ 921:de1625deb27e

Merge bugfix/normal_derivative_sign
author Jonatan Werpers <jonatan@werpers.com>
date Mon, 21 Feb 2022 10:38:19 +0100
parents c9e35f1ca269
children c8d6580d9307
line wrap: on
line diff