Add use of mini-indicies

Question

Add use of mini-indicies

Opened this issue 5 months ago · 0 comments

dbosk commented 5 months ago

See nrnrnr/noweb#25