remove dups from PR #440

src/geo/point.js

@@ -441,10 +441,6 @@ class Point {
         return this === p || (this.x === p.x && this.y === p.y && this.z === p.z);
     }
 
-    isEqual2D(p) {
-        return this === p || (this.x === p.x && this.y === p.y);
-    }
-
     /**
      * returns true if points are close enough to be considered equivalent
      */

src/geo/slope.js

@@ -60,13 +60,6 @@ export class Slope {
         return this;
     }
 
-    invert() {
-        this.dx = -this.dx;
-        this.dy = -this.dy;
-        this.angle = 180 - this.angle;
-        return this;
-    }
-
     angleDiff(s2,sign) {
         const n1 = this.angle;
         const n2 = s2.angle;

src/kiri/core/conf.js

@@ -573,7 +573,6 @@ export const conf = {
                 camTabsMidline: false,
                 camTabsWidth: 5,
                 camTolerance: 0,
-                camTolerance: 0,
                 camToolInit: true,
                 camTraceDogbone: false,
                 camTraceDown: 0,