diff options
| author | David Aspinall | 2008-01-17 12:15:18 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-17 12:15:18 +0000 |
| commit | 42031b5275f51bbaa5a84d1a0c98a3072bd03553 (patch) | |
| tree | 9ca0d3d0b8709d65f88c3a3a3395386d18dfb73d /pgshell/example.pgsh | |
| parent | d7df9ffe5191aab4f54938fcf63fcd144a123722 (diff) | |
Remove dummy defvars, which cause errors if proof-menu is required during compile. Add keybindings for history. Move About menu item.
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions