josefprusa/Prusa3-vanilla — pull request #6 by sjkelly (2013-08-17 23:29:04+00:00)
Title: Use Polyholes

Polyholes are really great to get accurately sized holes. I added them to some problematic places.