diff options
| author | Makarius Wenzel | 2006-12-07 19:51:33 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2006-12-07 19:51:33 +0000 |
| commit | a4b24e4e30d10a79f3d8fc90d1acd69b80b4c2ab (patch) | |
| tree | 145672aed12d42374153122d2dafff4b39ef652b /pgshell/pgshell.el | |
| parent | 07559fb1fa3cad5e3fdd2fd5b14313e7ad455c9b (diff) | |
proof-shell-pre-interrupt-hook: removed obsolete Poly/ML 3 setup, which breaks Poly/MK 5;
Diffstat (limited to 'pgshell/pgshell.el')
0 files changed, 0 insertions, 0 deletions