tree 7313119ca9b470f7799398358d896e8ed33bd7b3
parent a974d2498e4c6da4049dfd8b11803c7d280cad46
author Jack Jansen <jack.jansen@cwi.nl> 955122014 +0000
committer Jack Jansen <jack.jansen@cwi.nl> 955122014 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%4015044

Added a profiling target.