You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It is no longer present. Though the printing is not great. Making it "generally pretty" in all cases is a longer and less-well-defined matter. Closing this for now.
Activity
sanxiyn commentedon Feb 8, 2013
Is this still present? I don't see any FIXME in pprust.rs.
graydon commentedon May 6, 2013
It is no longer present. Though the printing is not great. Making it "generally pretty" in all cases is a longer and less-well-defined matter. Closing this for now.
Auto merge of rust-lang#2339 - RalfJung:rustup, r=RalfJung
Merge pull request rust-lang#2339 from rust-lang/autodiff-docs
Merge rust-lang#2339