Skip to content

Merge pull request #951 from stan-dev/document-global-options #1809

Merge pull request #951 from stan-dev/document-global-options

Merge pull request #951 from stan-dev/document-global-options #1809