More pager improvements. Pager now determines correctly which text is read by the...
[rodin/chimara.git] / interpreters / frotz.patch
2009-11-30 Marijn van Vliet * On a second thought: rename client to player