Skip to content
Snippets Groups Projects
Commit c9cd97a0 authored by Julian Seward's avatar Julian Seward
Browse files

[project @ 1999-10-19 15:11:31 by sewardj]

Increase default cutoff limit from 16 to 60.  nofib/real/anna
won't compile even with this value set to 50.  Presumably the
same problem afflicts Hugs98-Sept98 ?
parent 750b8b4e
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment