Revision 0f7967bd30c718d4290fc4ff7d67c09a4ec3b497 authored by Dzomo the everest Yak on 22 April 2020, 08:20:07 UTC, committed by Dzomo the everest Yak on 22 April 2020, 08:20:07 UTC
1 parent 0bcd4ea
Makefile
HACL_HOME=../..
include $(HACL_HOME)/Makefile.common
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...