From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 16 Sep 2012 14:15:20 +0000 (+0100)
Subject: doveclip DoveClipExtender has rounded pillars
X-Git-Tag: filamentspool-v2-release~817
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?p=reprap-play.git;a=commitdiff_plain;h=fa598b80b7b55415f1e5ba311327856b6a7a18d2;hp=fa598b80b7b55415f1e5ba311327856b6a7a18d2

doveclip DoveClipExtender has rounded pillars
---