.. AUTO-GENERATED by extract_odm_strings.py! DO NOT EDIT! If you want to add more details to a command, create a .rst file in arguments_edit/.rst .. _time: time ```` Generates a benchmark file with runtime info. Default: ``False`` .. include:: ../arguments_edit/time.rst `Learn to edit `_ and help improve `this page `_!