diff options
author | Michael Stone <michael@laptop.org> | 2010-09-04 06:45:34 (GMT) |
---|---|---|
committer | Michael Stone <michael@laptop.org> | 2010-09-04 06:45:34 (GMT) |
commit | c8b6e3be9820482aee0ce8d02ec9c009d6a7a0e0 (patch) | |
tree | 714966213d96cc0158b82bcece90bc8a1219c2d7 /configure | |
parent | 8b74f3ce30164a48d4eabe83cf1bf2a20342824e (diff) |
This way, we don't have to repeat the intro screen if we die soon after it
ends, e.g., because of SIGINT.
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions