diff options
author | Joris | 2020-02-17 10:13:01 +0100 |
---|---|---|
committer | Joris | 2020-02-17 10:13:01 +0100 |
commit | a2880850a78fc36e2612215c83cbdeac0c980a5b (patch) | |
tree | e6e103df72070c6ec54e85664ff8b8c0b19c5192 /src/Model/step.ml | |
parent | 25afb0bde9b8a2c064135a534231c232a461b341 (diff) |
Update default prepare to 10 seconds
Diffstat (limited to 'src/Model/step.ml')
0 files changed, 0 insertions, 0 deletions