Replace odot externals with latest version and include help files
federicoVisi opened this issue · comments
Federico Visi commented
Federico Visi commented
since odot is now in the package manager, all the odot externals have been removed from GIMLeT and installing odot is now a requirement