diff options
Diffstat (limited to 'files/tools_source.properties')
-rw-r--r-- | files/tools_source.properties | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/files/tools_source.properties b/files/tools_source.properties deleted file mode 100644 index 0be07dce1..000000000 --- a/files/tools_source.properties +++ /dev/null @@ -1,3 +0,0 @@ -Pkg.UserSrc=false -Pkg.Revision=24.3.3 -Platform.MinPlatformToolsRev=20 |