Florian Festi e3673df408 Fix surroundingWall to work with Edegs with non zero .(start|end)width() ... Add Boxes.edgeCorner() to join to Edges with the proper width correction and use it in rectangluarWall() and surroundingWall()		2016-04-26 11:54:37 +02:00
..
src	Fix surroundingWall to work with Edegs with non zero .(start|end)width()	2016-04-26 11:54:37 +02:00
presentation.odp	Minor updates	2016-04-09 15:44:27 +02:00