| commit | 7b56aad2e10421cb59b6f80e0ebe96e9cfe30576 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Feb 20 15:51:39 1998 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Feb 20 15:51:39 1998 +0000 |
| tree | 995ce32ac402a870c9ee41d97858af9970814e33 | |
| parent | 64da169f43a3338d90a24e8a1b6042e7cfa75d65 [diff] |
Break circular reference on menus upon cleanup