commit | 215ad664055cb5225f398577e7c69c91cc079e8f | [log] [tgz] |
---|---|---|
author | Victor Stinner <victor.stinner@gmail.com> | Tue Mar 25 12:33:56 2014 +0100 |
committer | Victor Stinner <victor.stinner@gmail.com> | Tue Mar 25 12:33:56 2014 +0100 |
tree | 993fa387670bd4d299e43529aa8ab7e1705b17b8 | |
parent | 4908910ab73bebd9b4636bc842d69e649842c2e0 [diff] |
Issue #12209: Minor edits to faulthandler doc. Patch written by Éric Araujo.