]> git.tue.mpg.de Git - paraslash.git/log
paraslash.git
18 years agorename dopey to random
Andre [Mon, 20 Feb 2006 06:25:59 +0000 (07:25 +0100)]
rename dopey to random

It isn't so dopey anymore and the upcoming plm database tool
won't be much smarter, so..

18 years agoinitial git commit
Andre [Mon, 20 Feb 2006 06:03:36 +0000 (07:03 +0100)]
initial git commit

Let's try if this works out.