[devel] Removed obsolete remarks about setjmp handling from INSTALL.
3 files changed