aboutsummaryrefslogtreecommitdiff
path: root/devscripts/make_readme.py
AgeCommit message (Collapse)Author
2012-12-07devscripts/make_readme.py in place of all that sedding, that has porting ↵Filippo Valsorda
problems