| commit | 807256103e8d5b2c6fc71f3b8f3898a405c88212 | [log] [tgz] |
|---|---|---|
| author | oliverschmidt <oliverschmidt> | dim. mai 07 23:05:57 2006 +0000 |
| committer | oliverschmidt <oliverschmidt> | dim. mai 07 23:05:57 2006 +0000 |
| tree | fe6f1a89e1ec18bc7653a578e93085de5a78cd62 | |
| parent | 3597351cf22e6bdcd5bc53c4acbce3360b353057 [diff] |
Now that we have the optional 'Quit' menu entry we should make sure to uninstall the mouse driver for avoiding dangling interrupts.