https://github.com/project-everest/hacl-star
Revision 73be7820d81df51d52928b120bacb07b16fc7a8f authored by Tahina Ramananandro on 13 August 2020, 01:43:01 UTC, committed by Tahina Ramananandro on 13 August 2020, 01:43:01 UTC
This reverts commit cbb140afd637e1f056b36e01437c32c26e52eb2c.
1 parent cbb140a
History
Tip revision: 73be7820d81df51d52928b120bacb07b16fc7a8f authored by Tahina Ramananandro on 13 August 2020, 01:43:01 UTC
Revert "dune: use multiplatform copy to make it work on Windows"
Tip revision: 73be782
File Mode Size
.ci
.docker
bindings
code
dist
doc
hints
lib
obj
providers
secure_api
specs
tests
tools
vale
.gitattributes -rw-r--r-- 340 bytes
.gitignore -rw-r--r-- 392 bytes
.travis.yml -rw-r--r-- 1.2 KB
LICENSE -rw-r--r-- 11.1 KB
MERGING-DEV.md -rw-r--r-- 3.1 KB
Makefile -rw-r--r-- 44.7 KB
Makefile.common -rw-r--r-- 5.6 KB
Makefile.include -rw-r--r-- 2.9 KB
Makefile.local -rw-r--r-- 2.4 KB
PULL.md -rw-r--r-- 2.7 KB
README.md -rw-r--r-- 3.8 KB
build_local.sh -rwxr-xr-x 2.1 KB

README.md

back to top