clique icon indicating copy to clipboard operation
clique copied to clipboard

Command line option for computing the results only for specific namespace?

Open metasoarous opened this issue 9 years ago • 1 comments

This would be handy for honing in on a particular namespace one might want to understand better or clean up.

metasoarous avatar Mar 18 '15 02:03 metasoarous

yes, this would be a useful option

Hendekagon avatar Mar 18 '15 14:03 Hendekagon