comparison Gui/app.h @ 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 08888397444e
children
comparison
equal deleted inserted replaced
21813:85f8a5ce6e91 21814:8032b9d9349d