diff cgitools/search/Makefile @ 38:68a4f2d8930e

Add stuff for automatic feedback timeout.
author David A. Holland
date Sun, 15 Jun 2014 17:21:54 -0400
parents 5f36d8d69aba
children
line wrap: on
line diff