(Non-Local Exits and Signals): Remove old !!! comment.
authorroland <roland>
Wed, 26 Oct 1994 05:37:18 +0000 (05:37 +0000)
committerroland <roland>
Wed, 26 Oct 1994 05:37:18 +0000 (05:37 +0000)
commit61e7e514d739bbc983800331bb920e92fdad493a
tree7018383aa0cf0c0bd377d8ca6bfc50870a80e40b
parentb8b439f52b7d03b74e903bfda14a9437a7d1c860
(Non-Local Exits and Signals): Remove old !!! comment.
manual/setjmp.texi