view 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
line wrap: on
line source

#!@PYTHON@