chiark / gitweb /
Merge pull request #139 from greenarrow/master
authordaid <daid303@gmail.com>
Fri, 22 Jun 2012 14:19:39 +0000 (07:19 -0700)
committerdaid <daid303@gmail.com>
Fri, 22 Jun 2012 14:19:39 +0000 (07:19 -0700)
Fix version detection for all Python versions


Trivial merge