log doc/Rvinterf-tools @ 712:a167d7b376b7

age author description
2020-02-03 Mychaela Falconia doc/Rvinterf-tools: rvinterf -P option documented
2018-11-04 Mychaela Falconia doc/Rvinterf-tools write-up added