diff docs/src/operator_file_format.md @ 921:de1625deb27e

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