comparison shelltools/edit-pr/edit.py @ 38:68a4f2d8930e

Add stuff for automatic feedback timeout.
author David A. Holland
date Sun, 15 Jun 2014 17:21:54 -0400
parents c013fb703183
children
comparison
equal deleted inserted replaced
37:edf081d0b282 38:68a4f2d8930e