diff debian/rules @ 21814:8032b9d9349d

don't add pid 0 if it's already present in the list
author nicodvb
date Sat, 06 Jan 2007 11:09:27 +0000
parents 834cc3e275aa
children 0f1b5b68af32
line wrap: on
line diff