fix drill selection
This commit is contained in:
parent
ee78dd41e7
commit
dd2a7d0b9a
10 changed files with 146 additions and 118 deletions
|
|
@ -2,6 +2,7 @@
|
|||
|
||||
import { CamOp } from './op.js';
|
||||
import { Tool } from './tool.js';
|
||||
import { generate as Topo } from './topo3.js';
|
||||
import { newPoint } from '../../geo/point.js';
|
||||
import { tip2tipEmit } from '../../geo/paths.js';
|
||||
|
||||
|
|
|
|||
Loading…
Reference in a new issue