diff minors.m @ 254:9c97eb0d61bf operator_remake

Cleaned up 12th order minimal file.
author Martin Almquist <martin.almquist@it.uu.se>
date Wed, 07 Sep 2016 14:49:21 +0200
parents 0a881a3dc9a9
children eaf557023fbe
line wrap: on
line diff