Revision bf51bd7372b1703c825c607ffbacc7a79b6059bf authored by Arvid Jakobsson on 27 February 2020, 14:38:50 UTC, committed by Pierre Boutillier on 09 March 2020, 20:48:03 UTC
The latter was added in 9aebc957 but the former was not removed.
1 parent ede1919
| File | Mode | Size |
|---|---|---|
| .ocamlformat | -rw-r--r-- | 271 bytes |
| current_git_info.ml | -rw-r--r-- | 2.7 KB |
| current_git_info.mli | -rw-r--r-- | 2.0 KB |
| dune | -rw-r--r-- | 305 bytes |
| dune-project | -rw-r--r-- | 38 bytes |
| get-git-info.mlt | -rwxr-xr-x | 454 bytes |
| tezos-version.opam | -rw-r--r-- | 432 bytes |
Computing file changes ...
