lib/standard/ropes: API change, Leaves are now abstract for future flexibility.
[nit.git] / benchmarks / .gitignore
2014-03-03 Jean Privatbenchs: provide .gitignore to ignore generated files