Closed maurolepore closed 3 years ago
This PR updates the documentation with devtools::document(). It touches no production code and should be safe to merge.
This PR updates the documentation with devtools::document(). It touches no production code and should be safe to merge.