tree cad77ce1612168af2514d64ca0b5448941210840
parent 740016da5fa81a42869538a4f5887f57e76a7fb5
author Donal Fellows <donal.k.fellows@manchester.ac.uk> 1418138570 +0000
committer Donal Fellows <donal.k.fellows@manchester.ac.uk> 1418138570 +0000

Stop forcing input delimiters to be single characters; that fails at
least one significant use-case.