https://github.com/project-everest/hacl-star
Raw File
Tip revision: 02bf646d84127f4196677bf1be96be8b9596f096 authored by Chris Hawblitzel on 28 August 2018, 00:35:03 UTC
Merge branch '_vale' into _vale_typecheck
Tip revision: 02bf646
.gitmodules
[submodule "other_providers/openssl"]
	path = other_providers/openssl
	url = https://github.com/openssl/openssl.git
back to top