fix filename

master
Gnieark 8 years ago
parent 929d222c7b
commit fdf5e6af9b

@ -1,18 +1,18 @@
difference(){ difference(){
union(){ union(){
linear_extrude(height = 5,$fn=50) linear_extrude(height = 5,$fn=50)
import (file = "profils.dxf", layer = "0"); import (file = "profils8x8x8.dxf", layer = "0");
linear_extrude(height = 11,$fn=50) linear_extrude(height = 11,$fn=50)
import (file = "profils.dxf", layer = "1"); import (file = "profils8x8x8.dxf", layer = "1");
} }
union(){ union(){
translate ([0,0,4.1]) translate ([0,0,4.1])
linear_extrude(height = 1,$fn=50) linear_extrude(height = 1,$fn=50)
import (file = "profils.dxf", layer = "anode-cathode-hole"); import (file = "profils8x8x8.dxf", layer = "anode-cathode-hole");
translate ([0,0,3.5]) translate ([0,0,3.5])
linear_extrude(height = 1,$fn=50) linear_extrude(height = 1,$fn=50)
import (file = "profils.dxf", layer = "hole2"); import (file = "profils8x8x8.dxf", layer = "hole2");
} }
} }

Loading…
Cancel
Save