mirror/mbedtls
1
0
Fork 0
mirror of https://github.com/Mbed-TLS/mbedtls.git synced 2025-02-22 09:40:09 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

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

Browse Source
This commit is contained in:
Jaeden Amero 2018-12-07 16:16:24 +00:00
commit faafcd83a8
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tests/scripts/check-files.py
View File

@ -162,7 +162,9 @@ class TodoIssueTracker(IssueTracker):
super().__init__() super().__init__()
self.heading = "TODO present:" self.heading = "TODO present:"
self.files_exemptions = [ self.files_exemptions = [
__file__, "benchmark.c", "pull_request_template.md" os.path.basename(__file__),
"benchmark.c",
"pull_request_template.md",
] ]
def issue_with_line(self, line): def issue_with_line(self, line):