diff options
| author | Luke Bratch <luke@bratch.co.uk> | 2019-07-10 19:09:59 +0100 |
|---|---|---|
| committer | Luke Bratch <luke@bratch.co.uk> | 2019-07-10 19:09:59 +0100 |
| commit | 22a4f361329ed4e303e2f1bdce9edf49e70970f3 (patch) | |
| tree | ab666c6d15d0a380ee1a8395f0c1dc17e19bf719 /TODO | |
| parent | f5778572b16fd7c5fa7f61166e05d3db1831069a (diff) | |
Make setting configuration option "replayseconds" optional if "replaymode" != "time".
Diffstat (limited to 'TODO')
| -rw-r--r-- | TODO | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -1,3 +1 @@ -Make some unnecessary configuration options optional (e.g. replaytime if replaymode != "time") - Fuzzing. |