Revision d69cac1a97d5b90ca4750a5a4add5c23c9a4a353 authored by Raphaël Proust on 15 October 2019, 23:23:47 UTC, committed by Raphaël Proust on 15 October 2019, 23:23:47 UTC
Note: dune-project is included in the git repository because it is necessary to make the `dune build @fmt` target available.
1 parent cd15ede
File | Mode | Size |
---|---|---|
src | ||
test | ||
.gitignore | -rw-r--r-- | 26 bytes |
.ocamlformat | -rw-r--r-- | 271 bytes |
CHANGES.md | -rw-r--r-- | 137 bytes |
LICENSE | -rw-r--r-- | 1.1 KB |
README.md | -rw-r--r-- | 806 bytes |
data-encoding.opam | -rw-r--r-- | 667 bytes |
dune-project | -rw-r--r-- | 53 bytes |
Computing file changes ...