]> git.tuebingen.mpg.de Git - paraslash.git/commitdiff
use the random dbtool as default
authorAndre <maan@p133.(none)>
Tue, 21 Feb 2006 16:07:56 +0000 (17:07 +0100)
committerAndre <maan@p133.(none)>
Tue, 21 Feb 2006 16:07:56 +0000 (17:07 +0100)
That simplifies the code quite a bit.


No differences found