| commit | d7b68021ceb241fed4c082bc7a6585a987c0aab4 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Jan 12 23:42:28 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Jan 12 23:42:28 2001 +0000 |
| tree | 1e2a1dfc456220693b747fdff62c7068928c9ce0 | |
| parent | 8e0ee7761de7c9e4831f8f3118030c92ab4eb35f [diff] |
Fixed Carbon command-dot handling. There is still a problem, though, and you may have to hit it repeatedly.