2019-05-15 15:17:04 +02:00
|
|
|
/_build/
|
2019-09-09 13:59:08 -07:00
|
|
|
dune-project
|
2019-05-12 21:13:37 +00:00
|
|
|
*~
|
2019-09-10 12:42:49 +02:00
|
|
|
*.merlin
|
2019-05-27 11:54:29 +02:00
|
|
|
cache/*
|
2019-06-10 15:19:42 +02:00
|
|
|
Version.ml
|
2019-09-04 20:19:09 +02:00
|
|
|
/_opam/
|
2019-09-21 13:35:08 -07:00
|
|
|
/*.pp.ligo
|
2019-09-25 11:45:37 -04:00
|
|
|
**/.DS_Store
|
