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)
commit38e1927ba2df99fe98ef97c878b694598a9482c6
tree524ed3ba8450f71e54e65dd2600d3d03b48ebffa
parent037fa1f1e976f3bdef6479e9bd51ad53e7a8baa9
parentf297ea252c182e3d39c8b0b463642e4ecd99d8a7
Merge pull request #569 from oni303/patch-1

fixed syntax in profile.py line 348