log shelltools/edit-pr/edit.py @ 13:5bf0d6f732c1

age author description
2012-02-20 David A. Holland Empty placeholder scripts so the build will run.