diff NEWS @ 1500:42081a3433bb

use a better signal
author nadvornik
date Tue, 31 Mar 2009 20:35:04 +0000
parents 6624477decc8
children
line wrap: on
line diff