Skip to content

Remove Ordering from the prelude.#497

Closed
steveklabnik wants to merge 1 commit intorust-lang:masterfrom
steveklabnik:remove_ordering_from_the_prelude
Closed

Remove Ordering from the prelude.#497
steveklabnik wants to merge 1 commit intorust-lang:masterfrom
steveklabnik:remove_ordering_from_the_prelude

Commits

Commits on Dec 5, 2014