]> git.tuebingen.mpg.de Git - paraslash.git/commitdiff
rename dopey to random
authorAndre <maan@p133.(none)>
Mon, 20 Feb 2006 06:25:59 +0000 (07:25 +0100)
committerAndre <maan@p133.(none)>
Mon, 20 Feb 2006 06:25:59 +0000 (07:25 +0100)
It isn't so dopey anymore and the upcoming plm database tool
won't be much smarter, so..


No differences found