Rijk van Manen d9cc755f94 restore old top_bottom_thickness
Since we changed wall thickness, but do not want to change the top_bottom_thickness these values need be set hardcoded. PP-115
2022-03-15 16:43:14 +01:00
..