Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

T

tlatools
- Activity
- Members
- Labels
- Releases

Snippets Groups Projects

3a4ade6a

Commit 3a4ade6a authored 7 months ago by dgelessus

Downloads
- Patches
- Plain Diff

Update Gradle wrapper to version 8.10.2

parent be7799b5

No related branches found

No related tags found

Loading

Changes 4

Show whitespace changes

Inline Side-by-side

Showing

tlatools/org.lamport.tlatools/gradle/wrapper/gradle-wrapper.jar 0 additions, 0 deletions

...ls/org.lamport.tlatools/gradle/wrapper/gradle-wrapper.jar
tlatools/org.lamport.tlatools/gradle/wrapper/gradle-wrapper.properties 2 additions, 1 deletion

...lamport.tlatools/gradle/wrapper/gradle-wrapper.properties
tlatools/org.lamport.tlatools/gradlew 21 additions, 13 deletions

tlatools/org.lamport.tlatools/gradlew
tlatools/org.lamport.tlatools/gradlew.bat 12 additions, 10 deletions

tlatools/org.lamport.tlatools/gradlew.bat

with 35 additions and 24 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment