diff options
-rwxr-xr-x[-rw-r--r--] | tools/jenkins/run_line_count.sh | 0 | ||||
-rwxr-xr-x[-rw-r--r--] | tools/line_count/collect-now.sh | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/tools/jenkins/run_line_count.sh b/tools/jenkins/run_line_count.sh index a2bde53413..a2bde53413 100644..100755 --- a/tools/jenkins/run_line_count.sh +++ b/tools/jenkins/run_line_count.sh diff --git a/tools/line_count/collect-now.sh b/tools/line_count/collect-now.sh index 44f4b4ed31..44f4b4ed31 100644..100755 --- a/tools/line_count/collect-now.sh +++ b/tools/line_count/collect-now.sh |