source: zzuf @ 3159

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