Closed jlndk closed 4 years ago
so that it only outputs the problem ids in a space seperated format. Usefull for piping
so that it only outputs the problem ids in a space seperated format. Usefull for piping