]> git.tuebingen.mpg.de Git - paraslash.git/history - random_selector.c
rename mysql.c to mysql_selector.c
[paraslash.git] / random_selector.c
2006-03-10 AndreRename random_dbtool.c to random_selector.c