diff options
author | Filippo Valsorda <filippo.valsorda@gmail.com> | 2012-12-07 14:45:16 +0100 |
---|---|---|
committer | Filippo Valsorda <filippo.valsorda@gmail.com> | 2012-12-07 14:45:16 +0100 |
commit | 4bb028f48ecfcde1f4d2feafbc71fc8e346a7b99 (patch) | |
tree | 8af7b64827cf6f6a0747fdc9f4cf7060bae16838 /devscripts/release.sh | |
parent | fec89790b19d804eecb7318e5da64dbb1445c7f0 (diff) |
devscripts/make_readme.py in place of all that sedding, that has porting problems
Diffstat (limited to 'devscripts/release.sh')
0 files changed, 0 insertions, 0 deletions