log doc/Rvinterf-tools @ 873:2b5f4736079c

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