openscad/openscad — pull request #550 by t-paul (2013-11-23 14:17:37+00:00)
Title: Fix compilation error on Ubuntu where uint32_t is not defined.

Ubuntu does not seem to import uint32_t by default. This is using the boost header to fix that. Unfortunately #include is not yet available as this would require -std=c++11.