chiark / gitweb /
Merge pull request #168 from martinxyz/master
authordaid <daid303@gmail.com>
Sun, 15 Jul 2012 09:56:53 +0000 (02:56 -0700)
committerdaid <daid303@gmail.com>
Sun, 15 Jul 2012 09:56:53 +0000 (02:56 -0700)
obvious bugfix for binary STL


Trivial merge