deprecate `whos` to `varinfo` returning a markdown table. fixes #12131.#24671

Merged

JeffBezanson merged 1 commit intomasterfrom jb/varinfo_table

Nov 22, 2017

+62-72

Commits on Nov 20, 2017

deprecate whos to varinfo returning a markdown table. fixes #12131 .
JeffBezanson
committed