Mbed-TLS/mbedtls
1
0
Fork 0
mirror of https://github.com/Mbed-TLS/mbedtls.git synced 2026-10-03 23:47:24 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge remote-tracking branch 'upstream-public/pr/1548' into development

Browse Source
This commit is contained in:
Jaeden Amero
2018-12-06 15:51:29 +00:00
parent fabc6001ff b0ef434911
commit 643e0027d6
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
tests/git-scripts/pre-push.sh
+1
View File
@@ -46,3 +46,4 @@ run_test ./tests/scripts/check-doxy-blocks.pl
run_test ./tests/scripts/check-names.sh
run_test ./tests/scripts/check-generated-files.sh
run_test ./tests/scripts/check-files.py
run_test ./tests/scripts/doxygen.sh