defects4j icon indicating copy to clipboard operation
defects4j copied to clipboard

Context about different command-line interfaces

Open mernst opened this issue 1 year ago • 1 comments

It would also be helpful to explain what it means "to export" at https://github.com/rjust/defects4j#export-version-specific-properties . "query" generates a CSV file; does "export" do the same?

mernst avatar Nov 24 '23 17:11 mernst