diff options
| author | weber | 2007-06-11 21:30:05 +0000 |
|---|---|---|
| committer | weber | 2007-06-11 21:30:05 +0000 |
| commit | 50e213462dc393e97b8b9bc70b94d78a1c22aca6 (patch) | |
| tree | 053d467e3d8872b44ad2d2307e843cc8e9cc48a3 /pgshell | |
| parent | 69de140f7fe7c7503ad4477cfe18099bfb1edb22 (diff) | |
reverted find theorems default from form to minibuffer
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions