source: zzuf @ 3325

Name Size Rev Age Author Last Change
../
trunk 3001   15 years Sam Hocevar Rename --max-cpu into --max-cputime to avoid confusion (fixes #44).
tags 1463   16 years Sam Hocevar * Initial tree.
branches 1463   16 years Sam Hocevar * Initial tree.
Note: See TracBrowser for help on using the repository browser.