chiark / gitweb /
Merge pull request #569 from oni303/patch-1
authordaid <daid303@gmail.com>
Fri, 27 Sep 2013 09:57:43 +0000 (02:57 -0700)
committerdaid <daid303@gmail.com>
Fri, 27 Sep 2013 09:57:43 +0000 (02:57 -0700)
fixed syntax in profile.py line 348


Trivial merge