| commit | 18d3f9cac6b418aef38bfb32c21de144508b7292 | [log] [tgz] |
|---|---|---|
| author | Andre Weinand <aweinand> | Tue Jan 15 14:35:09 2002 +0000 |
| committer | Andre Weinand <aweinand> | Tue Jan 15 14:35:09 2002 +0000 |
| tree | 2831758e3ccf004a00e796cdc98ea1b19a5426d9 | |
| parent | 46b7d38d7f127a6cef05deb3614e98b8035a1954 [diff] |
#7594: Menu entry "Replace with Previous" shouldn't have a "..."