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