Pekka Helenius
6 years ago
committed by
GitHub
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with
1 additions and
1 deletions
-
tools/getsource.sh
|
|
@ -156,4 +156,4 @@ fi |
|
|
|
|
|
|
|
################################## |
|
|
|
|
|
|
|
rm -rf ./{"${INPUT}".1,*trunk*} 2>/dev/null |
|
|
|
rm -rf ./{"${INPUT}"*.1,*trunk*} 2>/dev/null |