diff options
| author | Joris | 2022-11-26 16:00:38 +0100 |
|---|---|---|
| committer | Joris | 2022-11-26 16:00:38 +0100 |
| commit | 765ba94cdd65184bd4b443c3a946d0d96dc805d6 (patch) | |
| tree | 9f06d716714aecd946d6371344bf362f94093ae5 /bin/run.sh | |
| parent | f1b134f51254e82f352a06aae9557cc4570627de (diff) | |
Go to evaluation if answer is correct when typing
Don’t require to press Enter when the answer is correct.
Diffstat (limited to 'bin/run.sh')
0 files changed, 0 insertions, 0 deletions