diff options
| -rwxr-xr-x | debug-server.sh (renamed from debug.sh) | 0 | ||||
| -rw-r--r-- | jacoco-build.sh (renamed from jacoco_build.sh) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/debug.sh b/debug-server.sh index 5dadb3becab..5dadb3becab 100755 --- a/debug.sh +++ b/debug-server.sh diff --git a/jacoco_build.sh b/jacoco-build.sh index 11ceb34f316..11ceb34f316 100644 --- a/jacoco_build.sh +++ b/jacoco-build.sh |