tree ede5ca186a84650a433df1c6f9a640a50b1e7131
parent 8b47161ac1e04bdec539c765688be95822dea5ed
author Donal Fellows <donal.k.fellows@manchester.ac.uk> 1418136431 +0000
committer Donal Fellows <donal.k.fellows@manchester.ac.uk> 1418136431 +0000

Allow multi-character input delimiters to be sent in by files.