Commit 6c66c78cf660406b603dd24772afab13f6e885c9

Bruno Haible 2008-06-07T13:49:10

Fix doc about _setjmp.