Skip to content

cpplint: Use pypi version - #1871

Merged
rok-cesnovar merged 2 commits into
stan-dev:developfrom
HaoZeke:pypi_cpplint
May 8, 2020
Merged

cpplint: Use pypi version#1871
rok-cesnovar merged 2 commits into
stan-dev:developfrom
HaoZeke:pypi_cpplint

Commits

Commits on May 7, 2020