Alessandro Ranellucci 2e3c8241e4 Merge pull request #407 from beanz/simplify-check-manifoldness
Remove grep that is effectively repeated.
2012-06-05 01:57:45 -07:00
..
2012-05-20 11:40:37 +02:00
2012-06-05 10:55:02 +02:00
2012-05-29 14:19:14 +02:00
2012-04-16 11:55:14 +02:00