| commit | 80253be245fb6b67544d0d0c467df6037f06e39d | [log] [tgz] |
|---|---|---|
| author | Thomas Wouters <[email protected]> | Fri Jul 21 05:19:59 2000 +0000 |
| committer | Thomas Wouters <[email protected]> | Fri Jul 21 05:19:59 2000 +0000 |
| tree | 0f6d76b0d19b161c21f65722c650021c9cf12027 | |
| parent | 08cfe89bd77679578f476b4fcbe6684686ebc8ec [diff] |
Small fixes by Petru Paler (patch #100946) checked in with esr's approval.