diff options
Diffstat (limited to 'robot/leitner-run.sh')
| -rwxr-xr-x | robot/leitner-run.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/robot/leitner-run.sh b/robot/leitner-run.sh index 7c76291..d91dd78 100755 --- a/robot/leitner-run.sh +++ b/robot/leitner-run.sh @@ -25,7 +25,7 @@ source $this_dir/robot.sh launch_emacs $this_dir/leitner-run.el { - sleep 2 + sleep 1 find_bot ## Run once with default options |
