Christian Rinderknecht 0fdbbe0a4c Merge remote-tracking branch 'origin/dev' into rinderknecht-dev		2019-11-06 17:33:39 +01:00
..
ligo-utils	Merge remote-tracking branch 'origin/dev' into rinderknecht-dev	2019-11-06 17:33:39 +01:00
rope	Interface for Ocaml code	2019-10-07 14:18:32 +00:00
.gitignore	Place the local copy of ligo in a -generated folder	2019-05-27 11:57:29 +02:00