diff options
| author | Neil Mitchell <http://www.cs.york.ac.uk/~ndm/> | 2007-01-12 12:25:01 +0000 |
|---|---|---|
| committer | Neil Mitchell <http://www.cs.york.ac.uk/~ndm/> | 2007-01-12 12:25:01 +0000 |
| commit | 4bdbe1b8f953b0df172e26ac1ae3010fe0bbe04e (patch) | |
| tree | 29d688410a08eec785d1f0cf12f3bbe389f99d53 /html/minus.gif | |
| parent | c43544f083b13248414a5dee268c7dba0f4e1a4b (diff) | |
Make the max number of results 75 instead of 50, to allow map searching in the base library to work
Diffstat (limited to 'html/minus.gif')
0 files changed, 0 insertions, 0 deletions