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
1 parent 4f4b329
Makefile
HACL_HOME=../..
include $(HACL_HOME)/Makefile.common
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...