More pager improvements. Pager now determines correctly which text is read by the...
[rodin/chimara.git] / interpreters / .svnignore
2009-05-23 Philip ChimentoSet ignore properties on new directories