diff options
| author | Thomas Kleymann | 1998-10-22 11:48:32 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-10-22 11:48:32 +0000 |
| commit | 9c1fb98ea7e2ddadacc56d46215f58c5abc56174 (patch) | |
| tree | 2d01ac62ee0ab9c70245178e3501f74f006b1404 /generic/proof-script.el | |
| parent | 6609c499550edf6a7bb102765d7b14ed72bcf2db (diff) | |
fixed bug in fume-match-find-next-function-name
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions