Revision 130a6178730a38589b15f19ed0bfc53ccefbeb60 authored by Santiago Zanella-Beguelin on 03 April 2019, 16:42:43 UTC, committed by Santiago Zanella-Beguelin on 03 April 2019, 16:42:43 UTC
1 parent 4d57ffa
.gitignore
*~
*.o
*.d
*.cm*
*.so
*.exe
*.exe.dSYM
out.krml
*.checked
*.checked.lax
*.dump
.extracted
.*depend*
code/old/**/*-c
code/old/**/*-c89
secure_api/out
.evercrypt_config
dist
!dist/Makefile
*.orig
.didhelp
Makefile.config
Computing file changes ...
