ohsix has quit [Ping timeout: 246 seconds]
ohsix has joined #solvespace
<
_whitenotifier-f>
[solvespace] ruevs commented on pull request #627: default chordTol=0.2% max segments=20 -
https://git.io/JfDCT
<
_whitenotifier-f>
[solvespace] ruevs edited a comment on pull request #627: default chordTol=0.2% max segments=20 -
https://git.io/JfDCT
ohsix has quit [Read error: Connection reset by peer]
ohsix has joined #solvespace
<
_whitenotifier-f>
[solvespace] phkahler commented on pull request #627: default chordTol=0.2% max segments=20 -
https://git.io/JfDdG
<
_whitenotifier-f>
[solvespace] phkahler synchronize pull request #627: default chordTol=0.2% max segments=20 -
https://git.io/JfXNY
<
_whitenotifier-f>
[solvespace] phkahler edited pull request #627: default chordTol=0.1% max segments=20 -
https://git.io/JfXNY
ohsix has quit [Ping timeout: 265 seconds]
ohsix has joined #solvespace