
Stefano Zacchiroli
authored
Multiple identifiers (of either kind) can be passed either directly on the CLI or via stdin. In the latter case logical lines in stidn will be preserved in stdout. Closes T2112
Multiple identifiers (of either kind) can be passed either directly on the CLI or via stdin. In the latter case logical lines in stidn will be preserved in stdout. Closes T2112