]> git.tuebingen.mpg.de Git - dss.git/commitdiff
Rename rm_pid to remove_pid.
authorAndre Noll <maan@systemlinux.org>
Tue, 7 Apr 2009 13:09:59 +0000 (15:09 +0200)
committerAndre Noll <maan@systemlinux.org>
Tue, 7 Apr 2009 13:09:59 +0000 (15:09 +0200)
This variable will contain the pid of rm-hooks or the rm process.


No differences found