diff options
| author | Christian Grothoff <christian@grothoff.org> | 2018-09-15 18:45:28 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2018-09-15 18:46:06 +0200 |
| commit | 0850783a17fb39e744fed779b77ad46ac5a4ed54 (patch) | |
| tree | e199593d28db589b6d75b6538133d34d3604697a /src/rps/rps_api.c | |
| parent | e91d46cdbbc97414968fa751fd1f596757c56875 (diff) | |
| download | gnunet-0850783a17fb39e744fed779b77ad46ac5a4ed54.tar.gz gnunet-0850783a17fb39e744fed779b77ad46ac5a4ed54.zip | |
warn better if config option is invalid, allow second and seconds as time units
Diffstat (limited to 'src/rps/rps_api.c')
0 files changed, 0 insertions, 0 deletions