diff options
| author | Thomas Kleymann | 1998-10-30 12:02:51 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-10-30 12:02:51 +0000 |
| commit | 15f6b377ae00b28d147e1a8c36fad031ded44d31 (patch) | |
| tree | d486c20df4332a5e39c04d7b04c1f1ecc90f7b9c /Makefile.devel | |
| parent | f10a71524cf77176ac749bdd599a67e3cc221f0b (diff) | |
replaced some occurences of (current-buffer) by proof-shell-buffer to
make code more robust
Diffstat (limited to 'Makefile.devel')
0 files changed, 0 insertions, 0 deletions