]> git.tuebingen.mpg.de Git - paraslash.git/commitdiff
kill some dead code
authorAndre <maan@p133.(none)>
Sun, 4 Jun 2006 19:45:21 +0000 (21:45 +0200)
committerAndre <maan@p133.(none)>
Sun, 4 Jun 2006 19:45:21 +0000 (21:45 +0200)
if pdd is NULL, we have more serious problems, so kill the check.


No differences found