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