a bit of cleanup in the manifold{api,result} area
[unfold.git] / third-party / spin
1 spin-1.3.0