directories dependency now uses Fpath, and kprintf is deprecated#248

emilienlemaire wants to merge 1 commit intoOCamlPro:masterOCamlPro/drom:masterfrom

emilienlemaire:fix-dir-and-kprintfemilienlemaire/drom:fix-dir-and-kprintfCopy head branch name to clipboard