diff --git a/tlatools/build.gradle b/tlatools/build.gradle index a08e45519d5e00ad00e9de360425bc8363577e68..6ea4e2f77d5c420fe8e35a1ee75bb81a22643f51 100644 --- a/tlatools/build.gradle +++ b/tlatools/build.gradle @@ -99,5 +99,3 @@ uploadArchives { } } } - -}