rename module Random.dSFMT -> Random.DSFMT#25567

Merged

JeffBezanson merged 1 commit intomasterfrom rf/rename-DSFMT

Jan 18, 2018

+22-17

Commits on Jan 17, 2018

rename module Random.dSFMT -> Random.DSFMT
rfourquet
committed