devscripts/make_readme.py in place of all that sedding, that has porting problems
authorFilippo Valsorda <filippo.valsorda@gmail.com>
Fri, 7 Dec 2012 13:45:16 +0000 (14:45 +0100)
committerFilippo Valsorda <filippo.valsorda@gmail.com>
Fri, 7 Dec 2012 13:45:16 +0000 (14:45 +0100)
commit4bb028f48ecfcde1f4d2feafbc71fc8e346a7b99
tree8af7b64827cf6f6a0747fdc9f4cf7060bae16838
parentfec89790b19d804eecb7318e5da64dbb1445c7f0
devscripts/make_readme.py in place of all that sedding, that has porting problems
Makefile
devscripts/make_readme.py [new file with mode: 0644]