Rename File: random_ops.h

File Manager