Skip to content

use newer lintr syntax, drop deprecated/deleted linters#14

Open
MichaelChirico wants to merge 1 commit intodirmeier:masterfrom
MichaelChirico:patch-1
Open

use newer lintr syntax, drop deprecated/deleted linters#14
MichaelChirico wants to merge 1 commit intodirmeier:masterfrom
MichaelChirico:patch-1

Commits

Commits on Jun 28, 2023