diff options
| author | Thomas Kleymann | 1998-05-16 14:52:07 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-05-16 14:52:07 +0000 |
| commit | 9c9157c6c8bc4726d33d777a942755da8fb931b4 (patch) | |
| tree | 446c87fb5a73d14135cab9f51aefcd43391ccab7 /todo | |
| parent | 796d3e6730dc76a21ddf1fe179f8cfc64eecf3c4 (diff) | |
implementation of `lego-shell-adjust-line-width' can now be called as
part of a hook. This change has been caused by replacing
`proof-shell-config' with `proof-shell-insert-hook'
Diffstat (limited to 'todo')
0 files changed, 0 insertions, 0 deletions