diff HACKING @ 758:a083017752fc

fixed bug in notification code
author nadvornik
date Mon, 26 May 2008 17:06:30 +0000
parents f31ae0d9e163
children ab5945017b4a
line wrap: on
line diff