aquatic/scripts
2020-04-10 03:30:59 +02:00
..
bench-handlers.sh Add scripts dir with "run-server.sh" and "bench-handlers.sh" 2020-04-06 13:16:52 +02:00
run-server.sh add crate cli_helpers with option and config parsing; use in aquatic 2020-04-09 16:55:40 +02:00
test.sh Add scripts/test.sh for running tests with higher quickcheck settings 2020-04-10 03:30:59 +02:00