rm lib/core/collection/m.dot that was wrongly commited in 39fcf4a75aae
[nit.git] / lib / progression.nit
2014-12-29 Jean-Christophe... progression: Add an API for progression tracking.