diff options
| author | Healfdene Goguen | 1998-05-21 17:27:41 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1998-05-21 17:27:41 +0000 |
| commit | dbfd4c263daa4f0a75981c0fd1c8b78c4addd757 (patch) | |
| tree | 2b426c0ee950ef6ec59245433d617135b6d15673 /proof.el | |
| parent | 422bc59b8bb8276360843f8ee4dcb5e681ec220c (diff) | |
Removed uninitialized os variable in spans-at-region.
Diffstat (limited to 'proof.el')
0 files changed, 0 insertions, 0 deletions
