16 May
2006
16 May
'06
4:19 p.m.
On Tue, May 16, 2006 at 12:28:16PM +0200, Christian Maeder wrote:
My next problem is:
"Maximum token length (4000) exceeded"
Which spot in the sources do I have to change in order to increase this limit? (I've unsuccessfully searched the hugs mailing lists for an answer)
MAX_TOKEN in src/input.c