online_ide: update to the new API of the loader
[nit.git] / lib / markdown / Makefile
2015-08-17 Jean Privatmarkdown: add a makefile