Skip to content

Update lintr config and address newly found lints#1158

Merged
IndrajeetPatil merged 4 commits intomainfrom clean-lints-dec23Dec 3, 2023