annotate cgitools/search/search.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
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
7
c013fb703183 Empty placeholder scripts so the build will run.
David A. Holland
parents:
diff changeset
1 #!@PYTHON@