Matej Šima 072d753e91 Merge branch 'feature/more-operators' into 'dev' ... Feature/more operators See merge request ligolang/ligo!32		2019-06-12 20:34:16 +00:00
..
ligo-utils	Merge branch 'feature/more-operators' into 'dev'	2019-06-12 20:34:16 +00:00
opam-repository-tools	cleanup	2019-05-27 13:11:57 +02:00
tezos-modded	Removed submodules, will merge them with main repo	2019-05-27 11:52:49 +02:00
.gitignore	Place the local copy of ligo in a -generated folder	2019-05-27 11:57:29 +02:00