Skip to main content

Browse the archive

Revision 5b69e68e015bda2d5292d91c3e93045f9b96acd2 authored by Santiago Zanella-Beguelin on 25 November 2019, 15:43:47 UTC, committed by Santiago Zanella-Beguelin on 29 November 2019, 09:57:25 UTC 
Re-enable long logs for accurate stats
1 parent 3ae979b
Raw File
Makefile 
HACL_HOME=../..
include $(HACL_HOME)/Makefile.common
back to top