rename div_euc -> div_euclid, and mod_euc -> rem_euclid#56936
Merged
bors merged 4 commits intorust-lang:masterfrom Dec 23, 2018
strega-nil:euclidean_div_rem
Merged
rename div_euc -> div_euclid, and mod_euc -> rem_euclid#56936bors merged 4 commits intorust-lang:masterfrom strega-nil:euclidean_div_rem
bors merged 4 commits intorust-lang:masterfrom
strega-nil:euclidean_div_rem
Commits
Commits on Dec 18, 2018
Commits on Dec 20, 2018
- committed
