]> git.tuebingen.mpg.de Git - paraslash.git/history - server.c
Rename the --dbtool option to --selector
[paraslash.git] / server.c
2006-03-10 AndreRename the --dbtool option to --selector
2006-02-21 Andreuse the random dbtool as default
2006-02-21 Andremake para_server use the new ipc subsystem
2006-02-21 Andrefix the plm database tool
2006-02-21 AndreMerge branch 'dbtool_preselect'
2006-02-21 AndreMerge branch 'ipc'
2006-02-21 Andreadd dbtool hooks
2006-02-21 Andrethe new plm database tool
2006-02-20 Andrerename dopey to random
2006-02-20 Andreinitial git commit