diff options
| author | Miles Bader <miles@gnu.org> | 1996-05-12 17:34:29 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1996-05-12 17:34:29 +0000 |
| commit | 8df2794da37c7c35facc538c358aa765925bd438 (patch) | |
| tree | 63c67e44273bb9f4c0f8daaeddf896c8c48135f2 /pflocal | |
| parent | 286e17fd95f692b2759ac36ef4d8f5defee8a6db (diff) | |
(specs): Give runtime specs 2 fraction digits by default.
Diffstat (limited to 'pflocal')
0 files changed, 0 insertions, 0 deletions