diff etc/PROBLEMS @ 71975:6d29dff081c5

(region_limit, Fget_internal_run_time): Use xsignal0.
author Kim F. Storm <storm@cua.dk>
date Tue, 18 Jul 2006 13:26:30 +0000
parents 967a56f9d307
children de11751400bd 8a8e69664178
line wrap: on
line diff