commit | c00b6d7a0a72a481de3064e0bd11e7b30f5b2610 | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Tue Feb 25 15:08:02 2003 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Feb 25 15:08:02 2003 +0000 |
tree | ccd778cd1144df1cc98831bf7783e521e0f56e4d | |
parent | f4a9ac25e9cf27914ad4235d0745980d56212c1d [diff] |
Added an "Open Recent" command. Fixes 607810.