Rename random_dbtool.c to random_selector.c
[paraslash.git] / random_selector.c
2006-03-10 AndreRename random_dbtool.c to random_selector.c