diff --git a/tools/scripts/tools_source.properties b/tools/scripts/tools_source.properties index 9528e7955..f23e52a19 100644 --- a/tools/scripts/tools_source.properties +++ b/tools/scripts/tools_source.properties @@ -1,2 +1,2 @@ Pkg.UserSrc=false -Pkg.Revision=2 +Pkg.Revision=3