diff README.md @ 516:f932af8c1e56 feature/boundary_ops

Remove obsolete type.
author Vidar Stiernström <vidar.stiernstrom@it.uu.se>
date Tue, 24 Nov 2020 15:30:16 +0100
parents 76aa1486124a
children 48a61e085e60
line wrap: on
line diff