Skip to content

Rename FPCategory, FP* to FpCategory, Fp* to adhere to the naming convention#19758

Merged
bors merged 1 commit intorust-lang:masterfrom
tbu-:pr_fp_name
Dec 24, 2014

Commits

Commits on Dec 23, 2014