3rdparty: Fix newlines and trailing whitespace

This commit is contained in:
Christoph M. Wintersteiger 2019-02-26 12:26:04 +00:00 committed by Janos Follath
parent 6e0cac1f57
commit 26b98e12c5
3 changed files with 6 additions and 5 deletions

View file

@ -42,3 +42,4 @@
#include "kremlib/FStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.c" #include "kremlib/FStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.c"
#endif /* defined(MBEDTLS_ECDH_VARIANT_EVEREST_ENABLED) */ #endif /* defined(MBEDTLS_ECDH_VARIANT_EVEREST_ENABLED) */