Permalink

Type	Name	Latest commit message	Commit time
	Failed to load latest commit information.
	.github	Use probot/settings	Nov 17, 2018
	demo	(Try to) fix Travis CI	May 2, 2019
	docs	Use devlpr	Nov 17, 2018
	src	(Try to) fix Travis CI	May 2, 2019
	tst	(Try to) fix Travis CI	May 2, 2019
	.devlpr.yml	Use devlpr	Nov 17, 2018
	.gitignore	Use devlpr	Nov 17, 2018
	.travis.yml	Use devlpr	Nov 17, 2018
	JsOfOCairo.opam	Use devlpr	Nov 17, 2018
	README.rst	(Try to) fix Travis CI	May 2, 2019
	dune-project	Migrate from jbuilder to dune	Nov 3, 2018
	run_development_cycle.sh	Use devlpr	Nov 17, 2018