Commit 8bf94dcd authored by MARCHE Claude's avatar MARCHE Claude

use Alt-Ergo 1.30 instead of 1.01 in auto strategies

parent fdecb743
......@@ -15,6 +15,7 @@ command = "%e -timelimit %t %f"
command_steps = "%e -steps-bound %S %f"
driver = "drivers/alt_ergo.drv"
editor = "altgr-ergo"
use_at_auto_level = 1
[ATP alt-ergo]
name = "Alt-Ergo"
......@@ -27,7 +28,6 @@ command = "%e -timelimit %t %f"
command_steps = "%e -steps-bound %S %f"
driver = "drivers/alt_ergo.drv"
editor = "altgr-ergo"
use_at_auto_level = 1
[ATP alt-ergo]
name = "Alt-Ergo"
......
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