Skip to main content

Browse the archive

Revision c59dd0c413b6111e9472f7f1dac42235893ce07c authored by Jonathan Protzenko on 31 March 2020, 17:43:02 UTC, committed by Jonathan Protzenko on 31 March 2020, 17:43:02 UTC 
Doc update while I'm at it
1 parent 4f4b329
Raw File
Makefile 
HACL_HOME=../..
include $(HACL_HOME)/Makefile.common
back to top