aboutsummaryrefslogtreecommitdiff
path: root/generic
diff options
context:
space:
mode:
authorDavid Aspinall2004-04-18 10:52:43 +0000
committerDavid Aspinall2004-04-18 10:52:43 +0000
commit549be1c32af6842aa113efc75223ae86c49ebeeb (patch)
treeb6016d044951b49aa1e1a3503e7296efacf3dd7a /generic
parent24bbdcd038c41e1defc3635975bf39d7ed8b414f (diff)
Multiple frames annoyances, also proof-eagerly-raise setting.
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions