chiark / gitweb /
Merge pull request #287 from GreatFruitOmsk/master
authordaid <daid303@gmail.com>
Thu, 13 Dec 2012 13:23:02 +0000 (05:23 -0800)
committerdaid <daid303@gmail.com>
Thu, 13 Dec 2012 13:23:02 +0000 (05:23 -0800)
Small Optimization for Drawin


Trivial merge