chiark / gitweb /
timeout: New program to limit how long a child process runs.
[misc] / debian /
drwxr-xr-x   ..
-rw-r--r-- 195 .gitignore
-rw-r--r-- 1565 changelog
-rw-r--r-- 3460 control
-rw-r--r-- 724 copyright
-rw-r--r-- 1616 inst
-rwxr-xr-x 1032 rules