Open jose1711 opened 3 years ago
It would be nice if there was an option to redirect output to individual .poly files. Currently everything goes into stdout.
.poly
stdout
It would be nice if there was an option to redirect output to individual
.poly
files. Currently everything goes intostdout
.