Skip to content

Add include paths to src_info, update stanc3 argument handling#518

Merged
WardBrian merged 3 commits intodevelopfrom
src-info-includes
Jan 24, 2022
Merged

Add include paths to src_info, update stanc3 argument handling#518
WardBrian merged 3 commits intodevelopfrom
src-info-includes

Commits

Commits on Jan 21, 2022