diff benchmark.m @ 1246:25efceb0c392 feature/dirac_discr

Apply some nitpicking
author Jonatan Werpers <jonatan@werpers.com>
date Wed, 20 Nov 2019 21:02:06 +0100
parents f9a65e62c5e5
children
line wrap: on
line diff