Contribution
Closed this issue · 1 comments
matthewjwoodruff commented
Another input filter could append the filename to each row if we wanted to have a "contribution" option, and a line number if we want to track the exact provenance of each solution.
matthewjwoodruff commented
This can now be done by specifying --contribution
at the command line. If you use -
for an input, it shows up as <stdin>
.