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 /doc/config.mk.in | |
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 'doc/config.mk.in')
0 files changed, 0 insertions, 0 deletions