diff options
| author | catboxanon <122327233+catboxanon@users.noreply.github.com> | 2023-08-05 23:50:33 -0400 |
|---|---|---|
| committer | catboxanon <122327233+catboxanon@users.noreply.github.com> | 2023-08-05 23:50:33 -0400 |
| commit | 8f31b139b8898921853f686c313ba54c57ad7cb8 (patch) | |
| tree | ae7f61c6723c98d1dd985cd3946b4b80e4b56252 /modules/launch_utils.py | |
| parent | ce4be668fe1d2192378a7b4d3173cfd18031a017 (diff) | |
Assume 0 = inf for s_tmax
Diffstat (limited to 'modules/launch_utils.py')
0 files changed, 0 insertions, 0 deletions