Skip to content

Rename the dox configuration option to cross_platform_docs - #951

Merged
bors merged 2 commits into
rust-lang:masterfrom
FraGag:rename-dox-cfg
Mar 24, 2018
Merged

Rename the dox configuration option to cross_platform_docs#951
bors merged 2 commits into
rust-lang:masterfrom
FraGag:rename-dox-cfg

Commits

  1. Commits on Mar 18, 2018

  2. Commits on Mar 19, 2018