diff shelltools/edit-pr/edit.py @ 22:8870309149f8

add a descriptive comment
author David A. Holland
date Sun, 26 May 2013 17:24:13 -0400
parents c013fb703183
children
line wrap: on
line diff