Grégoire Henry f7f5f21e46 Fix make build-deps ... The amended script is now able to handle new dependency in the opam file. It also abloe to handle `test` attributes.		2016-12-08 16:33:01 +01:00
..
create_docker_builder.sh	First public release	2016-09-08 19:29:33 -07:00
install_build_deps.sh	Fix make build-deps	2016-12-08 16:33:01 +01:00