diff options
| author | David Aspinall | 2003-03-16 23:51:39 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-03-16 23:51:39 +0000 |
| commit | 8d410445ee8c41cb230677c09c7ef21bea48cdbe (patch) | |
| tree | 4ff0c998b822e2fa3458125a589bda843ec27c0a /etc/isa/multiple/B.thy | |
| parent | f71b617f1e1ea59a95e6d6e042310e8893a7efd2 (diff) | |
Improve removal of display of splash screen. Buffer still not killed (XEmacs prob)
Diffstat (limited to 'etc/isa/multiple/B.thy')
0 files changed, 0 insertions, 0 deletions