Tom Jack c867a4c4d4 Remove dune-project files		2019-09-09 13:59:08 -07:00
..
ligo-utils	Remove dune-project files	2019-09-09 13:59:08 -07:00
opam-repository-tools	typo	2019-06-10 10:23:18 +02:00
.gitignore	Place the local copy of ligo in a -generated folder	2019-05-27 11:57:29 +02:00