diff info/dir @ 71969:34c5e405ed37

(check_mark): Use xsignal0.
author Kim F. Storm <storm@cua.dk>
date Tue, 18 Jul 2006 13:25:53 +0000
parents 29d30adaf4e4
children 146cd8369025 e8535ac41fad
line wrap: on
line diff