fixed up file names
[packages/random.git] / src / Data / Distribution / Interval.hs
2017-05-21  Carter Tazio Schonwaldfixed up file names