Commit 10d1b5f2 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Fix typo.

Spotted by Franz Brauße.
parent 989b140e
[ATP alt-ergo] [ATP alt-ergo]
name = "Alt-Ergo" name = "Alt-Ergo"
exec = "alt-ergo" exec = "alt-ergo"
exec = "alt-ergo-2.2.0" exec = "alt-ergo-2.0.0"
exec = "alt-ergo-1.30" exec = "alt-ergo-1.30"
exec = "alt-ergo-1.01" exec = "alt-ergo-1.01"
version_switch = "-version" version_switch = "-version"
version_regexp = "^\\([0-9.]+\\)$" version_regexp = "^\\([0-9.]+\\)$"
version_ok = "2.0.0" version_ok = "2.0.0"
version_old = "1.30" version_old = "1.30"
version_old = "1.01" version_old = "1.01"
command = "%e -timelimit %t %f" command = "%e -timelimit %t %f"
command_steps = "%e -steps-bound %S %f" command_steps = "%e -steps-bound %S %f"
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment