From 1ad17a1b1dc1365e201a6f9d647ec31bda42beb7 Mon Sep 17 00:00:00 2001 From: Michael Krelin Date: Tue, 04 Sep 2018 20:16:04 +0000 Subject: Revert "increase default bore_d tolerance" This reverts commit 183ac2d4948c69d97b5491dcf83fb238d53ac121. --- (limited to '.gitignore') -- cgit v0.9.0.2