commit | 0f37ad53a6be9df4a850787123c8cbc6de3b1e32 | [log] [tgz] |
---|---|---|
author | Alexandros Frantzis <alexandros.frantzis@collabora.com> | Tue Jan 03 13:37:41 2023 |
committer | Alexandros Frantzis <alexandros.frantzis@collabora.com> | Wed Jan 04 10:23:31 2023 |
tree | 949a64fd8ae4101b1e2c8644239dfb7168e29c43 | |
parent | dc2b69f9952aeabffe829d80bada482b7e6c3a22 [diff] |
Options,ResultsFile: Add option to set the results file Add the '--results-file' option to set the results file to use. The results file type is determined by the file extension.