Played around with nitfol build process, adding rules to generate the
[rodin/chimara.git] / interpreters / nitfol / .svnignore
2009-09-09 Philip ChimentoPlayed around with nitfol build process, adding rules...
2009-05-23 Philip ChimentoSet ignore properties on new directories