Revision 317df821c79c4fb235e6b501ab1a0b4a4037539f authored by Arvid Jakobsson on 29 January 2020, 18:22:53 UTC, committed by Adrian Brink on 25 February 2020, 12:01:14 UTC
1 parent 1b3f3d7
| File | Mode | Size |
|---|---|---|
| dune | -rw-r--r-- | 121 bytes |
| dune-project | -rw-r--r-- | 38 bytes |
| lint.sh | -rwxr-xr-x | 4.0 KB |
| tezos-tooling.opam | -rw-r--r-- | 447 bytes |
Computing file changes ...
